Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

property (property)

This Predicate holds between an instance of Entity and an instance of Attribute. (property entity attr) means that entity has the Attribute attr.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

varga
is instance of
  inheritable relation  
is instance of
  dvi-lakshana  
is instance of
  property  

Subrelation(s)

attribute  manner  true  modal attribute 

Coordinate term(s)

arc weight  authors  before or equal  causes  causes subclass  citizen  closed on  connected  contains information  cooccur  copy  date  decreases likelihood  developmental form  disjoint  distributes  documentation  duration  earlier  editor  element  employs  equal  equivalence relation on  exploits  expressed in language  faces  family relation  finishes  frequency  graph part  greater than  greater than or equal to  has purpose  has skill  holds during  holds obligation  holds right  hole  identity element  in list  in scope of interest  increases likelihood  independent probability  inhabits  inhibits  initial list  instance  inverse  irreflexive on  larger  less than  less than or equal to  material  measure  meets temporally  modal attribute  overlaps temporally  parent  partial ordering on  partly located  path length  possesses  precondition  prevents  publishes  range  range subclass  refers  reflexive on  related internal concept  sibling  smaller  starts  sub attribute  sub collection  sub graph  sub list  sub process  sub proposition  subclass  subrelation  subsumes content class  subsumes content instance  successor attribute  successor attribute closure  temporal part  time  total ordering on  trichotomizing on  uses  valence  version 

Type restrictions

property(astitva, visheshtaa)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (10)

Agar thing1 is equal to thing2, to sab-kuch attr ke lie hai, ki: thing1 has an attribute attr agar hai thing2 has an attribute attr. 
(=>
      (equal ?THING1 ?THING2)
      (forall
            (?ATTR)
            (<=>
                  (property ?THING1 ?ATTR)
                  (property ?THING2 ?ATTR))))
Agar attr1 is equal to attr2, to sab-kuch thing ke lie hai, ki: thing has an attribute attr1 agar hai thing has an attribute attr2. 
(=>
      (equal ?ATTR1 ?ATTR2)
      (forall
            (?THING)
            (<=>
                  (property ?THING ?ATTR1)
                  (property ?THING ?ATTR2))))
(=>
      (contraryAttribute @ROW)
      (forall
            (?ATTR1 ?ATTR2)
            (=>
                  (and
                        (equal
                              ?ATTR1
                              (ListOrderFn
                                    (ListFn @ROW)
                                    ?NUMBER1))
                        (equal
                              ?ATTR2
                              (ListOrderFn
                                    (ListFn @ROW)
                                    ?NUMBER2))
                        (not
                              (equal ?NUMBER1 ?NUMBER2)))
                  (=>
                        (property ?OBJ ?ATTR1)
                        (not
                              (property ?OBJ ?ATTR2))))))
(=>
      (subAttribute ?ATTR1 ?ATTR2)
      (forall
            (?OBJ)
            (=>
                  (property ?OBJ ?ATTR1)
                  (property ?OBJ ?ATTR2))))
Agar attr1 is an immediate successor attribute of attr2 aur entity has an attribute attr2 during time1, to yah kuch time2 nahin, ki time2 is a part of "before time1" aur entity has an attribute attr1 during time2. 
(=>
      (and
            (successorAttribute ?ATTR1 ?ATTR2)
            (holdsDuring
                  ?TIME1
                  (property ?ENTITY ?ATTR2)))
      (exists
            (?TIME2)
            (and
                  (temporalPart
                        ?TIME2
                        (PastFn ?TIME1))
                  (holdsDuring
                        ?TIME2
                        (property ?ENTITY ?ATTR1)))))
"the description of class" is equal to attr agar hai sab-kuch inst ke lie hai, ki: inst is an instance of class agar hai inst has an attribute attr. 
(<=>
      (equal
            (AbstractionFn ?CLASS)
            ?ATTR)
      (forall
            (?INST)
            (<=>
                  (instance ?INST ?CLASS)
                  (property ?INST ?ATTR))))
Agar item has an attribute value aur value is an instance of yathaartha mulya, to item is an instance of vaakya yaa item is an instance of prastaava. 
(=>
      (and
            (property ?ITEM ?VALUE)
            (instance ?VALUE TruthValue))
      (or
            (instance ?ITEM Sentence)
            (instance ?ITEM Proposition)))
Agar formula has an attribute likely, to "the probability of "formula is true"" is greater than "the probability of "formula is false"". 
(=>
      (property ?FORMULA Likely)
      (greaterThan
            (ProbabilityFn
                  (true ?FORMULA True))
            (ProbabilityFn
                  (true ?FORMULA False))))
Agar formula has an attribute unlikely, to "the probability of "formula is false"" is greater than "the probability of "formula is true"". 
(=>
      (property ?FORMULA Unlikely)
      (greaterThan
            (ProbabilityFn
                  (true ?FORMULA False))
            (ProbabilityFn
                  (true ?FORMULA True))))
Agar entity has an attribute promise, to entity has an attribute contract yaa entity has an attribute naked promise. 
(=>
      (property ?ENTITY Promise)
      (or
            (property ?ENTITY Contract)
            (property ?ENTITY NakedPromise)))