Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - property
property

appearance as argument number 1
-------------------------


(instance property BinaryPredicate) Merge.kif 1800-1800 property is an instance of binary predicate
(domain property 1 Entity) Merge.kif 1801-1801 The number 1 argument of property is an instance of entity
(domain property 2 Attribute) Merge.kif 1802-1802 The number 2 argument of property is an instance of attribute
(documentation property EnglishLanguage "This Predicate holds between an instance of Entity and an instance of Attribute. (property ?ENTITY ?ATTR) means that ?ENTITY has the Attribute ?ATTR.") Merge.kif 1804-1806 The number 2 argument of property is an instance of attribute

appearance as argument number 2
-------------------------


(subrelation attribute property) Merge.kif 1811-1811 attribute is a subrelation of property
(subrelation manner property) Merge.kif 1822-1822 manner is a subrelation of property
(subrelation shape property) Merge.kif 7763-7763 shape is a subrelation of property
(subrelation truth property) Merge.kif 17342-17342 truth is a subrelation of property
(subrelation modalAttribute property) Merge.kif 17650-17650 modal attribute is a subrelation of property
(subrelation environmentAttributes property) QoSontology.kif 452-452 environment attributes is a subrelation of property
(subrelation status property) QoSontology.kif 892-892 status is a subrelation of property
(subrelation systemBehavior property) QoSontology.kif 1444-1444 system behavior is a subrelation of property
(subrelation designPattern property) QoSontology.kif 1475-1475 design pattern is a subrelation of property
(subrelation taskRelation property) QoSontology.kif 1547-1547 task relation is a subrelation of property
(subrelation formOfAdaptation property) QoSontology.kif 1577-1577 form of adaptation is a subrelation of property
(subrelation complexity property) QoSontology.kif 1625-1625 complexity is a subrelation of property
(subrelation strictness property) QoSontology.kif 1666-1666 strictness is a subrelation of property
(subrelation abstractionLevel property) QoSontology.kif 1736-1736 abstraction level is a subrelation of property
(termFormat EnglishLanguage property "property") domainEnglishFormat.kif 47797-47797 abstraction level is a subrelation of property
(termFormat ChineseTraditionalLanguage property "屬性") domainEnglishFormat.kif 47798-47798 abstraction level is a subrelation of property
(termFormat ChineseLanguage property "属性") domainEnglishFormat.kif 47799-47799 abstraction level is a subrelation of property
(format EnglishLanguage property "%1 %n{does not have} the attribute %2") english_format.kif 178-178 abstraction level is a subrelation of property

antecedent
-------------------------


(=>
    (and
        (contraryAttribute @ROW)
        (equal ?ATTR1
            (ListOrderFn
                (ListFn @ROW) ?NUMBER1))
        (equal ?ATTR2
            (ListOrderFn
                (ListFn @ROW) ?NUMBER2))
        (not
            (equal ?NUMBER1 ?NUMBER2))
        (property ?OBJ ?ATTR1))
    (not
        (property ?OBJ ?ATTR2)))		 Merge.kif 468-476 If @ROW is the opposite of, equal Y and Z element of (@ROW), equal W and V element of (@ROW), equal U and T, and S the attribute Y, then S does not have the attribute W
(=>
    (and
        (property ?OBJ ?SHAPE)
        (instance ?OBJ Physical)
        (instance ?SHAPE ShapeAttribute))
    (shape ?OBJ ?SHAPE))		 Merge.kif 7768-7773 If X the attribute Y, X is an instance of physical, and Y is an instance of shape attribute, then X is Y
(=>
    (and
        (property ?ITEM ?VALUE)
        (instance ?VALUE TruthValue))
    (or
        (instance ?ITEM Sentence)
        (instance ?ITEM Proposition)))		 Merge.kif 17327-17333 If X the attribute Y and Y is an instance of truth value, then X is an instance of sentence or X is an instance of proposition
(=>
    (and
        (property ?THING ?ATTR)
        (instance ?ATTR ContestAttribute))
    (exists (?CONTEST)
        (and
            (instance ?CONTEST Contest)
            (or
                (agent ?CONTEST ?THING)
                (patient ?CONTEST ?THING)
                (subProcess ?THING ?CONTEST)))))		 Merge.kif 17741-17751 If X the attribute Y and Y is an instance of contest attribute, then there exists Z such that Z is an instance of contest and X is an agent of Z, X is a patient of Z, or X is a subprocess of Z
(=>
    (and
        (instance ?ORG OrganicObject)
        (instance ?ATTR DevelopmentalAttribute)
        (holdsDuring ?TIME
            (property ?ORG ?ATTR)))
    (holdsDuring ?TIME
        (developmentalForm ?ORG ?ATTR)))		 Mid-level-ontology.kif 224-229 If X is an instance of organic object, Y is an instance of developmental attribute, and X the attribute Y holds during Z, then the developmental form of X is Y holds during Z
(=>
    (property ?AGREEMENT ActiveAgreement)
    (instance ?AGREEMENT Agreement))		 Mid-level-ontology.kif 15714-15716 If X the attribute active agreement, then X is an instance of agreement
(=>
    (property ?AGREEMENT ActiveAgreement)
    (modalAttribute
        (exists (?PROC)
            (realization ?PROC ?AGREEMENT)) Obligation))		 Mid-level-ontology.kif 15718-15722 If X the attribute active agreement, then the statement there exists Y such that Y expresses the content of X has the modal force of obligation
(=>
    (property ?ENTITY Promise)
    (or
        (property ?ENTITY Contract)
        (property ?ENTITY NakedPromise)))		 Mid-level-ontology.kif 15724-15728 If X the attribute promise, then X the attribute contract or X the attribute naked promise
(=>
    (and
        (property ?THING ?ATTR)
        (instance ?ATTR GameAttribute))
    (exists (?GAME)
        (and
            (instance ?GAME Game)
            (or
                (agent ?GAME ?THING)
                (patient ?GAME ?THING)
                (subProcess ?THING ?GAME)))))		 Mid-level-ontology.kif 21399-21409 If X the attribute Y and Y is an instance of game attribute, then there exists Z such that Z is an instance of game and X is an agent of Z, X is a patient of Z, or X is a subprocess of Z
(=>
    (and
        (property ?THING ?ATTR)
        (instance ?ATTR SportsAttribute))
    (exists (?SPORT)
        (and
            (instance ?SPORT Game)
            (or
                (agent ?SPORT ?THING)
                (patient ?SPORT ?THING)
                (subProcess ?THING ?SPORT)))))		 Mid-level-ontology.kif 21415-21425 If X the attribute Y and Y is an instance of sports attribute, then there exists Z such that Z is an instance of game and X is an agent of Z, X is a patient of Z, or X is a subprocess of Z
(=>
    (property ?PROCESS ChemicalEquilibrium)
    (instance ?PROCESS ChemicalProcess))		 Mid-level-ontology.kif 21531-21533 If X the attribute chemical equilibrium, then X is an instance of chemical process
(=>
    (property ?PROCESS ChemicalEquilibrium)
    (exists (?RATIO ?TIME ?RESOURCE ?RESULT)
        (=>
            (and
                (holdsDuring ?TIME
                    (resource ?PROCESS ?RESOURCE))
                (holdsDuring ?TIME
                    (result ?PROCESS ?RESULT)))
            (equal ?RATIO
                (DivisionFn ?RESOURCE ?RESULT)))))		 Mid-level-ontology.kif 21535-21542 If X the attribute chemical equilibrium, then there exist Y, Z,, , W, V such that W is a resource for X holds during Z, V is a result of X holds during Zequal Y, W, and V
(=>
    (and
        (instance ?O OccupationalRole)
        (property ?X ?O))
    (instance ?X CognitiveAgent))		 Mid-level-ontology.kif 24526-24530 If X is an instance of occupational role and Y the attribute X, then Y is an instance of cognitive agent
(=>
    (and
        (property ?X Booting)
        (instance ?X Computer))
    (exists (?CD ?OS ?DT)
        (and
            (instance ?CD DigitalData)
            (instance ?OS OperatingSystem)
            (instance ?DT DataTransfer)
            (during
                (WhenFn ?DT)
                (WhenFn ?X))
            (destination ?DT ?X)
            (part ?CD ?OS)
            (objectTransferred ?DT ?CD))))		 ComputingBrands.kif 3124-3136 If X the attribute booting up and X is an instance of computer, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of digital data (3) Z is an instance of operating system (4) W is an instance of data transfer (5) the time of existence of W takes place during the time of existence of X (6) W ends up at X (7) Y is a part of Z (8) the object transferred in W is Y
(=>
    (and
        (instance ?Exercise ExerciseAnOption)
        (patient ?Exercise ?Option)
        (property ?Option CallOption)
        (time ?Exercise ?Time)
        (underlier ?Option ?Stocks))
    (exists (?Buy)
        (and
            (instance ?Buy Buying)
            (patient ?Buy ?Stocks)
            (time ?Buy ?Time)
            (measure ?Stocks
                (MeasureFn 100 ShareUnit)))))		 FinancialOntology.kif 2779-2791 If X is an instance of exercise an option, Y is a patient of X, Y the attribute call option, X exists during Z, and W is an underlier of Y, then there exists V such that V is an instance of buying and W is a patient of V and V exists during Z and the measure of W is 100 share unit(s)
(=>
    (and
        (instance ?Exercise ExerciseAnOption)
        (patient ?Exercise ?Option)
        (property ?Option PutOption)
        (time ?Exercise ?Time)
        (underlier ?Option ?Stocks))
    (exists (?Sell)
        (and
            (instance ?Sell Selling)
            (patient ?Sell ?Stocks)
            (time ?Sell ?Time)
            (measure ?Stocks
                (MeasureFn 100 ShareUnit)))))		 FinancialOntology.kif 2793-2805 If X is an instance of exercise an option, Y is a patient of X, Y the attribute put option, X exists during Z, and W is an underlier of Y, then there exists V such that V is an instance of selling and W is a patient of V and V exists during Z and the measure of W is 100 share unit(s)
(=>
    (and
        (property ?Option EuropeanStyleOption)
        (agreementExpirationDate ?Option ?Date))
    (exists (?Period ?Time ?Exercise)
        (and
            (instance ?Period TimeInterval)
            (equal
                (EndFn ?Period) ?Date)
            (=>
                (and
                    (instance ?Exercise ExerciseAnOption)
                    (equal
                        (WhenFn ?Exercise) ?Time))
                (temporalPart ?Time ?Period)))))		 FinancialOntology.kif 2829-2841 If X the attribute european style option and X has expiration Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of timeframe (3) equal the end of Z (4) Y (5) V is an instance of exercise an option (6) equal the time of existence of V (7) WW is a part of Z
(=>
    (and
        (instance ?Y SulphurDioxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))		 Geography.kif 8844-8850 If X is an instance of sulphur dioxide and X the attribute standard ambient temperature and pressure holds during Y, then gas is an attribute of X holds during Y
(=>
    (and
        (instance ?Y NitricOxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))		 Geography.kif 8877-8883 If X is an instance of nitric oxide and X the attribute standard ambient temperature and pressure holds during Y, then gas is an attribute of X holds during Y
(=>
    (and
        (instance ?Y NitrogenDioxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))		 Geography.kif 8901-8907 If X is an instance of nitrogen dioxide and X the attribute standard ambient temperature and pressure holds during Y, then gas is an attribute of X holds during Y
(=>
    (and
        (instance ?DOC ContractDocument)
        (containsInformation ?DOC ?PROP)
        (property ?PROP Contract))
    (property ?PROP Law))		 Media.kif 975-980 If X is an instance of contract document, X contains information Y, and Y the attribute contract, then Y the attribute law
(=>
    (property ?A CompilationAlbum)
    (exists (?A1 ?A2)
        (and
            (albumArtist ?A ?A1)
            (albumArtist ?A ?A2)
            (not
                (equal ?A1 ?A2)))))		 Music.kif 492-499 If X the attribute compilation album, then there exist Y, Z such that Y is a performer on X, Z is a performer on X, equal Y, and Z
(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path DynamicDataStream))
    (not
        (property ?Path StochasticDataStream)))		 QoSontology.kif 1227-1231 If X is an instance of computer path and X the attribute dynamic data stream, then X does not have the attribute stochastic data stream
(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path DynamicDataStream))
    (not
        (property ?Path DeterministicDataStream)))		 QoSontology.kif 1233-1237 If X is an instance of computer path and X the attribute dynamic data stream, then X does not have the attribute deterministic data stream
(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path ContinuousPath))
    (not
        (property ?Path TransientPath)))		 QoSontology.kif 1255-1259 If X is an instance of computer path and X the attribute continuous path, then X does not have the attribute transient path

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(=>
    (equal ?THING1 ?THING2)
    (forall (?ATTR)
        (<=>
            (property ?THING1 ?ATTR)
            (property ?THING2 ?ATTR))))		 Merge.kif 254-259 If equal X and Y, then For all Attribute Z: X the attribute Z if and only if Y the attribute Z
(=>
    (equal ?ATTR1 ?ATTR2)
    (forall (?THING)
        (<=>
            (property ?THING ?ATTR1)
            (property ?THING ?ATTR2))))		 Merge.kif 261-266 If equal X and Y, then For all Entity Z: Z the attribute X if and only if Z the attribute Y
(=>
    (and
        (contraryAttribute @ROW)
        (equal ?ATTR1
            (ListOrderFn
                (ListFn @ROW) ?NUMBER1))
        (equal ?ATTR2
            (ListOrderFn
                (ListFn @ROW) ?NUMBER2))
        (not
            (equal ?NUMBER1 ?NUMBER2))
        (property ?OBJ ?ATTR1))
    (not
        (property ?OBJ ?ATTR2)))		 Merge.kif 468-476 If @ROW is the opposite of, equal Y and Z element of (@ROW), equal W and V element of (@ROW), equal U and T, and S the attribute Y, then S does not have the attribute W
(=>
    (subAttribute ?ATTR1 ?ATTR2)
    (forall (?OBJ)
        (=>
            (property ?OBJ ?ATTR1)
            (property ?OBJ ?ATTR2))))		 Merge.kif 681-686 If X is a subattribute of Y, then For all Entity Z: if Z the attribute X, then Z the attribute Y
(=>
    (and
        (instance ?JUDGE Judging)
        (agent ?JUDGE ?AGENT)
        (patient ?JUDGE ?OBJ))
    (exists (?ATR)
        (and
            (instance ?ATR SubjectiveAssessmentAttribute)
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?JUDGE))
                (believes ?AGENT
                    (property ?OBJ ?ATR))))))		 Merge.kif 17682-17694 If X is an instance of judging, Y is an agent of X, and Z is a patient of X, then there exists W such that W is an instance of subjective assessment attribute and Y believes Z the attribute W holds during immediately after the time of existence of X
(=>
    (insured ?PROP ?ORG)
    (property ?PROP Contract))		 Mid-level-ontology.kif 8458-8460 If X is an insured of Y, then Y the attribute contract
(=>
    (and
        (agreementPeriod ?AGREEMENT ?DURATION)
        (agreementEffectiveDate ?AGREEMENT ?STARTDATE))
    (holdsDuring
        (TimePeriodFn ?STARTDATE ?DURATION)
        (property ?AGREEMENT ActiveAgreement)))		 Mid-level-ontology.kif 15617-15622 If X is an agreement period of Y and Z is an agreement effective date of Y, then Y the attribute active agreement holds during a time that starts at Z and lasts for X
(=>
    (agreementExpirationDate ?AGREEMENT ?ENDDATE)
    (holdsDuring
        (FutureFn ?ENDDATE)
        (not
            (property ?AGREEMENT ActiveAgreement))))		 Mid-level-ontology.kif 15656-15659 If X has expiration Y, then X does not have the attribute active agreement holds during after Y
(=>
    (property ?ENTITY Promise)
    (or
        (property ?ENTITY Contract)
        (property ?ENTITY NakedPromise)))		 Mid-level-ontology.kif 15724-15728 If X the attribute promise, then X the attribute contract or X the attribute naked promise
(=>
    (instance ?C Contract)
    (property ?C ActiveAgreement))		 Mid-level-ontology.kif 15742-15744 If X is an instance of contract, then X the attribute active agreement
(=>
    (instance ?C Contract)
    (property ?C Legal))		 Mid-level-ontology.kif 15746-15748 If X is an instance of contract, then X the attribute legal
(=>
    (contractor ?BUILDING ?CONTRACTOR)
    (exists (?CONTRACT ?AGENT)
        (and
            (property ?CONTRACT Contract)
            (partyToAgreement ?AGENT ?CONTRACT)
            (partyToAgreement ?CONTRACTOR ?CONTRACT)
            (confersObligation ?AGENT ?CONTRACTOR
                (exists (?CONSTRUCT ?BUILDING2)
                    (and
                        (instance ?CONSTRUCT Constructing)
                        (agent ?CONSTRUCT ?CONTRACTOR)
                        (result ?CONSTRUCT ?BUILDING2)
                        (instance ?BUILDING2 StationaryArtifact)))))))		 Mid-level-ontology.kif 23065-23078 If X has a contract to build Y, then All of the following hold: (1) there exist Z (2) W such that Z the attribute contract (3) Z is a party to agreement of W (4) Z is a party to agreement of X (5) X obligates there exist V (6) U such that V is an instance of constructing (7) X is an agent of V (8) U is a result of V (9) U is an instance of stationary artifact to perform task of the type W
(=>
    (instance ?A Aqiqah)
    (exists (?AGENT)
        (and
            (agent ?A ?AGENT)
            (property ?A Muslim))))		 ArabicCulture.kif 326-331 If X is an instance of aqiqah, then there exists Y such that Y is an agent of X and X the attribute muslim
(=>
    (and
        (instance ?Account LiabilityAccount)
        (accountHolder ?Account ?Agent)
        (accountAt ?Account ?Bank))
    (exists (?Debt)
        (and
            (property ?Debt Liability)
            (partyToAgreement ?Debt ?Agent)
            (partyToAgreement ?Debt ?Bank))))		 FinancialOntology.kif 1199-1208 If X is an instance of liability account, Y holds account X, and X is held by Z, then there exists W such that W the attribute liability, Y is a party to agreement of W, and Z is a party to agreement of W
(=>
    (instance ?Option Option)
    (exists (?Type ?Date ?Stock ?Price)
        (and
            (or
                (equal ?Type CallOption)
                (equal ?Type PutOption))
            (property ?Option ?Type)
            (agreementExpirationDate ?Option ?Date)
            (strikePrice ?Option ?Price)
            (underlier ?Option ?Stock)
            (measure ?Stock
                (MeasureFn 100 ShareUnit)))))		 FinancialOntology.kif 2579-2590 If X is an instance of option, then there exist Y, Z,, , W and V such that equal Y and call option or equal Y and put option and X the attribute Y and X has expiration Z and V is a strike price of X and W is an underlier of X and the measure of W is 100 share unit(s)
(=>
    (optionHolder ?OPTION ?AGENT)
    (property ?OPTION Option))		 FinancialOntology.kif 2624-2626 If X holds Y, then Y the attribute option
(=>
    (optionSeller ?OPTION ?AGENT)
    (property ?OPTION Option))		 FinancialOntology.kif 2635-2637 If X sells Y, then Y the attribute option
(=>
    (and
        (instance ?Option StockOption)
        (underlier ?Option ?Stock))
    (property ?Stock CommonStock))		 FinancialOntology.kif 2741-2745 If X is an instance of stock option and Y is an underlier of X, then Y the attribute common stock
(=>
    (premium ?OPTION ?AMT)
    (property ?OPTION Option))		 FinancialOntology.kif 2752-2754 If X is a premium of Y, then Y the attribute option
(=>
    (underlier ?OPTION ?FI)
    (property ?OPTION Option))		 FinancialOntology.kif 2770-2772 If X is an underlier of Y, then Y the attribute option
(<=>
    (employs ?Org ?Agent)
    (exists (?Employment)
        (and
            (property ?Employment Employment)
            (partyToAgreement ?Employment ?Org)
            (partyToAgreement ?Employment ?Agent))))		 FinancialOntology.kif 3317-3323 X employs Y if, only if there exists Z such that Z the attribute employment, X is a party to agreement of Z, and Y is a party to agreement of Z
(=>
    (instance ?DOC ContractDocument)
    (exists (?PROP)
        (and
            (containsInformation ?DOC ?PROP)
            (property ?PROP Contract))))		 Media.kif 959-964 If X is an instance of contract document, then there exists Y such that X contains information Y and Y the attribute contract
(=>
    (and
        (instance ?DOC ContractDocument)
        (containsInformation ?DOC ?PROP)
        (property ?PROP Contract))
    (property ?PROP Law))		 Media.kif 975-980 If X is an instance of contract document, X contains information Y, and Y the attribute contract, then Y the attribute law
(<=>
    (exists (?Process)
        (programRunning ?Process ?Program))
    (property ?Program Executable))		 QoSontology.kif 1085-1088 There exists X such that Y is a program running of X if and only if Y the attribute executable
(=>
    (instance ?Attribute ComputerPathAttribute)
    (exists (?Path)
        (and
            (instance ?Path ComputerPath)
            (property ?Path ?Attribute))))		 QoSontology.kif 1193-1198 If X is an instance of computer path attribute, then there exists Y such that Y is an instance of computer path and Y the attribute X

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


(property Lion VulnerableSpecies) Mid-level-ontology.kif 33020-33020 Lion the attribute Vulnerable species
(property Tiger EndangeredSpecies) Mid-level-ontology.kif 33075-33075 Tiger the attribute endangered species
(property Rhinoceros EndangeredSpecies) Mid-level-ontology.kif 33094-33094 Rhinoceros the attribute endangered species
(property Parrot LeastConcernSpecies) Mid-level-ontology.kif 33111-33111 Parrot the attribute least concern species
(property Lemur CriticallyEndangeredSpecies) Mid-level-ontology.kif 33128-33128 Lemur the attribute critically endangered species
(property Panda VulnerableSpecies) Mid-level-ontology.kif 33145-33145 Panda the attribute Vulnerable species
(property Octopus LeastConcernSpecies) Mid-level-ontology.kif 33158-33158 Octopus the attribute least concern species
(property Reindeer VulnerableSpecies) Mid-level-ontology.kif 33179-33179 Reindeer the attribute Vulnerable species
(property Crocodile LeastConcernSpecies) Mid-level-ontology.kif 33196-33196 Crocodile the attribute least concern species
(property Cheetah VulnerableSpecies) Mid-level-ontology.kif 33216-33216 Cheetah the attribute Vulnerable species
(property Ferret LeastConcernSpecies) Mid-level-ontology.kif 33231-33231 Ferret the attribute least concern species
(property GuineaPig LeastConcernSpecies) Mid-level-ontology.kif 33249-33249 Guinea pig the attribute least concern species
(property Hamster LeastConcernSpecies) Mid-level-ontology.kif 33261-33261 Hamster the attribute least concern species


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners