property - Sigma Knowledge base Browser

appearance as argument number 1

(documentation property ChineseLanguage "这个 Predicate 在 Entity 的实例和 Attribute 的实例成立。(property ?ENTITY ?ATTR) 的意思是 ?ENTITY 有 ?ATTR 的 Attribute。")	Merge.kif 1769-1770
(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 1766-1768
(domain property 1 Entity)	Merge.kif 1764-1764	The number 1 argument of property is an instance of entity
(domain property 2 Attribute)	Merge.kif 1765-1765	The number 2 argument of property is an instance of attribute
(instance property BinaryPredicate)	Merge.kif 1763-1763	property is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage property "%1 %n 有 %2 的 attribute")	chinese_format.kif 177-177
(format EnglishLanguage property "%1 has %n an attribute %2")	english_format.kif 115-115
(subrelation abstractionLevel property)	QoSontology.kif 1612-1612	abstraction level is a subrelation of property
(subrelation attribute property)	Merge.kif 1775-1775	attribute is a subrelation of property
(subrelation complexity property)	QoSontology.kif 1509-1509	complexity is a subrelation of property
(subrelation designPattern property)	QoSontology.kif 1368-1368	design pattern is a subrelation of property
(subrelation environmentAttributes property)	QoSontology.kif 454-454	environment attributes is a subrelation of property
(subrelation formOfAdaptation property)	QoSontology.kif 1465-1465	form of adaptation is a subrelation of property
(subrelation manner property)	Merge.kif 1786-1786	manner is a subrelation of property
(subrelation modalAttribute property)	Merge.kif 17656-17656	modal attribute is a subrelation of property
(subrelation shape property)	Mid-level-ontology.kif 23488-23488	shape is a subrelation of property
(subrelation status property)	QoSontology.kif 784-784	status is a subrelation of property
(subrelation strictness property)	QoSontology.kif 1548-1548	strictness is a subrelation of property
(subrelation systemBehavior property)	QoSontology.kif 1337-1337	system behavior is a subrelation of property
(subrelation taskRelation property)	QoSontology.kif 1437-1437	task relation is a subrelation of property
(subrelation truth property)	Merge.kif 17308-17308	truth is a subrelation of property
(termFormat ChineseLanguage property "特性")	chinese_format.kif 178-178	"特性" is the printable form of property in ChineseLanguage
(termFormat EnglishLanguage property "property")	domainEnglishFormat.kif 8390-8390	"property" is the printable form of property in english language

antecedent

(<=> (and (instance ?X Region) (holdsDuring ?T (property ?X StandardAmbientTemperaturePressure))) (holdsDuring ?T (and (airTemperature ?X (MeasureFn 298.15 KelvinDegree)) (barometricPressure ?X (MeasureFn 29.530 InchMercury)))))	Weather.kif 1086-1096	An entity is an instance of region and the entity has an attribute standard ambient temperature and pressure holds during a time position if and only if 298.15 kelvin degree(s) is an air temperature of the entity and 29.530 inch mercury(s) is a barometric pressure of the entity holds during the time position
(=> (and (instance ?DOC ContractDocument) (containsInformation ?DOC ?PROP) (property ?PROP Contract)) (property ?PROP Law))	Media.kif 995-1000	If a content bearing physical is an instance of ContractDocument and the content bearing physical contains information a proposition and the proposition has an attribute contract, then the proposition has an attribute law
(=> (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 2674-2686	If a process is an instance of exercise an option and an agreement is a patient of the process and the agreement has an attribute call option and the process exists during a time position and a financial instrument is an underlier of the agreement, then there exists another process such that the other process is an instance of buying and the financial instrument is a patient of the other process and the other process exists during the time position and the measure of the financial instrument is 100 ShareUnit(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 2688-2700	If a process is an instance of exercise an option and an agreement is a patient of the process and the agreement has an attribute put option and the process exists during a time position and a financial instrument is an underlier of the agreement, then there exists another process such that the other process is an instance of selling and the financial instrument is a patient of the other process and the other process exists during the time position and the measure of the financial instrument is 100 ShareUnit(s)
(=> (and (instance ?O OccupationalRole) (property ?X ?O)) (instance ?X CognitiveAgent))	Mid-level-ontology.kif 20075-20079	If an attribute is an instance of occupational role and an entity has an attribute the attribute, then the entity is an instance of cognitive agent
(=> (and (instance ?ORG OrganicObject) (instance ?ATTR DevelopmentalAttribute) (holdsDuring ?TIME (property ?ORG ?ATTR))) (holdsDuring ?TIME (developmentalForm ?ORG ?ATTR)))	Mid-level-ontology.kif 384-389	If an entity is an instance of organic object and another entity is an instance of developmental attribute and the entity has an attribute the other entity holds during a time position, then the developmental form of the entity is the other entity holds during the time position
(=> (and (instance ?Path ComputerPath) (property ?Path ContinuousPath)) (not (property ?Path QuasicontinuousPath)))	QoSontology.kif 1160-1164	If an entity is an instance of computer path and the entity has an attribute continuous path, then the entity has not an attribute quasicontinuous path
(=> (and (instance ?Path ComputerPath) (property ?Path ContinuousPath)) (not (property ?Path TransientPath)))	QoSontology.kif 1154-1158	If an entity is an instance of computer path and the entity has an attribute continuous path, then the entity has not an attribute transient path
(=> (and (instance ?Path ComputerPath) (property ?Path DynamicDataStream)) (not (property ?Path DeterministicDataStream)))	QoSontology.kif 1132-1136	If an entity is an instance of computer path and the entity has an attribute dynamic data stream, then the entity has not an attribute deterministic data stream
(=> (and (instance ?Path ComputerPath) (property ?Path DynamicDataStream)) (not (property ?Path StochasticDataStream)))	QoSontology.kif 1126-1130	If an entity is an instance of computer path and the entity has an attribute dynamic data stream, then the entity has not an attribute stochastic data stream
(=> (and (instance ?RR Railway) (property ?RR BroadGauge) (trackWidth ?RR ?WIDTH)) (greaterThan ?WIDTH (MeasureFn 1.44 Meter)))	Transportation.kif 400-405	If a railway is an instance of railway and the railway has an attribute broad gauge and a length measure is a track width of the railway, then the length measure is greater than 1.44 meter(s)
(=> (and (instance ?RR Railway) (property ?RR NarrowGauge) (trackWidth ?RR ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 1.435 Meter)))	Transportation.kif 447-452	If a railway is an instance of railway and the railway has an attribute narrow gauge and a length measure is a track width of the railway, then the length measure is less than or equal to 1.435 meter(s)
(=> (and (instance ?RR Railway) (property ?RR StandardGauge) (trackWidth ?RR ?WIDTH)) (greaterThanOrEqualTo ?WIDTH (MeasureFn 1.435 Meter)))	Transportation.kif 423-428	If a railway is an instance of railway and the railway has an attribute standard gauge and a length measure is a track width of the railway, then the length measure is greater than or equal to 1.435 meter(s)
(=> (and (instance ?RR Railway) (property ?RR StandardGauge) (trackWidth ?RR ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 1.44 Meter)))	Transportation.kif 430-435	If a railway is an instance of railway and the railway has an attribute standard gauge and a length measure is a track width of the railway, then the length measure is less than or equal to 1.44 meter(s)
(=> (and (instance ?Y NitricOxide) (holdsDuring ?T (property ?Y StandardAmbientTemperaturePressure))) (holdsDuring ?T (attribute ?Y Gas)))	Geography.kif 6538-6544	If an entity is an instance of nitric oxide and the entity has an attribute standard ambient temperature and pressure holds during a time position, then gas is an attribute of the entity holds during the time position
(=> (and (instance ?Y NitrogenDioxide) (holdsDuring ?T (property ?Y StandardAmbientTemperaturePressure))) (holdsDuring ?T (attribute ?Y Gas)))	Geography.kif 6563-6569	If an entity is an instance of nitrogen dioxide and the entity has an attribute standard ambient temperature and pressure holds during a time position, then gas is an attribute of the entity holds during the time position
(=> (and (instance ?Y SulphurDioxide) (holdsDuring ?T (property ?Y StandardAmbientTemperaturePressure))) (holdsDuring ?T (attribute ?Y Gas)))	Geography.kif 6503-6509	If an entity is an instance of sulphur dioxide and the entity has an attribute standard ambient temperature and pressure holds during a time position, then gas is an attribute of the entity holds during the time position
(=> (and (property ?AGREEMENT Contract) (partyToAgreement ?AGENT1 ?AGREEMENT) (partyToAgreement ?AGENT2 ?AGREEMENT) (instance ?PROC IntentionalProcess) (agent ?PROC ?AGENT1) (realization ?PROC ?PROP) (not (consistent ?PROP ?AGREEMENT))) (modalAttribute (exists (?LEGAL) (and (instance ?LEGAL LegalAction) (plaintiff ?LEGAL ?AGENT2) (defendant ?LEGAL ?AGENT1))) Possibility))	Mid-level-ontology.kif 11766-11780	If an agreement has an attribute contract and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent and a process is an instance of intentional process and the cognitive agent is an agent of the process and the process expresses the content of a proposition and the agreement is not a consistent of the proposition, then the statement there exists an entity such that the entity is an instance of legal action and the other cognitive agent is the plaintiff in the entity and the cognitive agent is the defendant in the entity has the modal force of possibility
(=> (and (property ?ITEM ?VALUE) (instance ?VALUE TruthValue)) (or (instance ?ITEM Sentence) (instance ?ITEM Proposition)))	Merge.kif 17291-17297	If an entity has an attribute an attribute and the attribute is an instance of truth value, then the entity is an instance of sentence or the entity is an instance of proposition
(=> (and (property ?OBJ ?SHAPE) (instance ?OBJ Physical) (instance ?SHAPE ShapeAttribute)) (shape ?OBJ ?SHAPE))	Mid-level-ontology.kif 23496-23501	If a physical has an attribute a shape attribute and the physical is an instance of physical and the shape attribute is an instance of shape attribute, then the physical is the shape attribute
(=> (and (property ?OBJECT ?ATTRIBUTE) (instance ?ATTRIBUTE AlgebroDifferentialAttribute)) (instance ?OBJECT SetOfEquations))	engineering.kif 229-233	If an entity has an attribute an attribute and the attribute is an instance of algebro differential attribute, then the entity is an instance of set of equations
(=> (and (property ?OBJECT ?ATTRIBUTE) (instance ?ATTRIBUTE EquationAttribute)) (or (instance ?OBJECT Equation) (instance ?OBJECT SetOfEquations)))	engineering.kif 210-216	If an entity has an attribute an attribute and the attribute is an instance of equation attribute, then the entity is an instance of equation or the entity is an instance of set of equations
(=> (and (property ?Option AmericanStyleOption) (optionHolder ?Option ?Agent) (agreementExpirationDate ?Option ?Day)) (holdsRight (exists (?Exercise) (and (instance ?Exercise ExerciseAnOption) (patient ?Exercise ?Option) (before (EndFn (WhenFn ?Exercise)) (EndFn ?Day)))) ?Agent))	FinancialOntology.kif 2708-2720	If an agreement has an attribute american style option and a cognitive agent holds the agreement and the agreement has expiration a time point, then the cognitive agent has the right to perform there exists an entity such that the entity is an instance of exercise an option and the agreement is a patient of the entity and the end of the time of existence of the entity happens before the end of the time point
(=> (and (property ?Option EuropeanStyleOption) (agreementExpirationDate ?Option ?Date)) (exists (?Period ?Time) (and (instance ?Period TimeInterval) (finishes ?Period ?Date) (=> (and (instance ?Exercise ExerciseAnOption) (equal (WhenFn ?Exercise) ?Time)) (temporalPart ?Time ?Period)))))	FinancialOntology.kif 2728-2740	If an agreement has an attribute european style option and the agreement has expiration a time interval, then there exist another time interval and a third time interval such that the other time interval is an instance of time interval and the other time interval finishes the time interval and if a physical is an instance of exercise an option and the time of existence of the physical is equal to the third time interval, then the third time interval is a part of the other time interval
(=> (and (property ?Option Option) (optionHolder ?Option ?Agent) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate)) (underlier ?Option ?Stocks)) (holdsRight (KappaFn ?Sell (and (instance ?Sell Selling) (patient ?Sell ?Stocks) (time ?Sell ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Sell ?Agent))) ?Agent))	FinancialOntology.kif 2590-2606	If an agreement has an attribute option and a cognitive agent holds the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval and the financial instrument is an underlier of the agreement, then the cognitive agent has the right to perform the class described by a symbolic string

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(<=> (employs ?Org ?Agent) (exists (?Employment) (and (property ?Employment Employment) (partyToAgreement ?Employment ?Org) (partyToAgreement ?Employment ?Agent))))	FinancialOntology.kif 3151-3157	An agent employs an agreement if and only if there exists a cognitive agent such that the cognitive agent has an attribute employment and the agent is a party to agreement of the cognitive agent and the agreement is a party to agreement of the cognitive agent
(<=> (exists (?Process) (programRunning ?Process ?Program)) (property ?Program Executable))	QoSontology.kif 977-980	There exists a computer process such that a computer program is a program running of the computer process if and only if the computer program has an attribute executable
(<=> (instance ?RR BroadGaugeRailway) (property ?RR BroadGauge))	Transportation.kif 407-409	An entity is an instance of broad gauge railway if and only if the entity has an attribute broad gauge
(<=> (instance ?RR DualGaugeRailway) (property ?RR DualGauge))	Transportation.kif 463-465	An entity is an instance of dual gauge railway if and only if the entity has an attribute dual gauge
(<=> (instance ?RR NarrowGaugeRailway) (property ?RR NarrowGauge))	Transportation.kif 454-456	An entity is an instance of narrow gauge railway if and only if the entity has an attribute narrow gauge
(<=> (instance ?RR StandardGaugeRailway) (property ?RR StandardGauge))	Transportation.kif 437-439	An entity is an instance of standard gauge railway if and only if the entity has an attribute standard gauge
(<=> (instance ?X (AttrFn ?CLASS ?ATTR)) (and (instance ?X ?CLASS) (property ?X ?ATTR)))	Merge.kif 1857-1862	An entity is an instance of the attr of a set or class and an attribute if and only if the entity is an instance of the set or class and the entity has an attribute the attribute
(=> (agreementExpirationDate ?AGREEMENT ?ENDDATE) (holdsDuring (FutureFn ?ENDDATE) (not (property ?AGREEMENT ActiveAgreement))))	Mid-level-ontology.kif 11658-11661	If an agreement has expiration a time point, then the agreement has not an attribute active agreement holds during after the time point
(=> (and (agreementPeriod ?AGREEMENT ?DURATION) (agreementEffectiveDate ?AGREEMENT ?STARTDATE)) (holdsDuring (TimePeriodFn ?STARTDATE ?DURATION) (property ?AGREEMENT ActiveAgreement)))	Mid-level-ontology.kif 11619-11624	If a time interval is an agreement period of an agreement and a time point is an agreement effective date of the agreement, then the agreement has an attribute active agreement holds during a time that starts at the time point and lasts for the time interval
(=> (and (attribute ?OBJ ?ATR) (instance ?ATR SubjectiveAssessmentAttribute)) (exists (?TIME ?JUDGE ?AGENT) (and (instance ?JUDGE Judging) (agent ?JUDGE ?AGENT) (patient ?JUDGE ?OBJ) (patient ?JUDGE (attribute ?OBJ ?ATR)) (holdsDuring ?TIME (believes ?AGENT (property ?OBJ ?ATR))))))	Merge.kif 17696-17709	If an entity is an attribute of an object and the entity is an instance of subjective assessment attribute, then there exist a time position, a process and an agent such that the process is an instance of judging and the agent is an agent of the process and the object is a patient of the process and the entity is an attribute of the object is a patient of the process and the agent believes the object has an attribute the entity holds during the time position
(=> (and (instance ?Account LiabilityAccount) (accountHolder ?Account ?Agent) (accountAt ?Account ?Bank)) (exists (?Debt) (and (property ?Debt Liability) (partyToAgreement ?Debt ?Agent) (partyToAgreement ?Debt ?Bank))))	FinancialOntology.kif 1107-1116	If a financial account is an instance of liability account and an agreement holds account the financial account and the financial account is held by another agreement, then there exists a cognitive agent such that the cognitive agent has an attribute liability and the agreement is a party to agreement of the cognitive agent and the other agreement is a party to agreement of the cognitive agent
(=> (and (instance ?DOC ContractDocument) (containsInformation ?DOC ?PROP) (property ?PROP Contract)) (property ?PROP Law))	Media.kif 995-1000	If a content bearing physical is an instance of ContractDocument and the content bearing physical contains information a proposition and the proposition has an attribute contract, then the proposition has an attribute law
(=> (and (instance ?Path ComputerPath) (property ?Path ContinuousPath)) (not (property ?Path QuasicontinuousPath)))	QoSontology.kif 1160-1164	If an entity is an instance of computer path and the entity has an attribute continuous path, then the entity has not an attribute quasicontinuous path
(=> (and (instance ?Path ComputerPath) (property ?Path ContinuousPath)) (not (property ?Path TransientPath)))	QoSontology.kif 1154-1158	If an entity is an instance of computer path and the entity has an attribute continuous path, then the entity has not an attribute transient path
(=> (and (instance ?Path ComputerPath) (property ?Path DynamicDataStream)) (not (property ?Path DeterministicDataStream)))	QoSontology.kif 1132-1136	If an entity is an instance of computer path and the entity has an attribute dynamic data stream, then the entity has not an attribute deterministic data stream
(=> (and (instance ?Path ComputerPath) (property ?Path DynamicDataStream)) (not (property ?Path StochasticDataStream)))	QoSontology.kif 1126-1130	If an entity is an instance of computer path and the entity has an attribute dynamic data stream, then the entity has not an attribute stochastic data stream
(=> (and (instance ?SAMPLE_COLL Collection) (instance ?POP_COLL Collection) (instance ?EXPERIMENT Experimenting) (instance ?AGENT CognitiveAgent) (agent ?EXPERIMENT ?AGENT) (statisticalPopulation ?SAMPLE_COLL ?POP_COLL ?EXPERIMENT)) (forall (?ATTRIBUTE) (=> (and (instance ?ATTRIBUTE Attribute) (property ?SAMPLE_COLL ?ATTRIBUTE) (inScopeOfInterest ?AGENT ?ATTRIBUTE) (not (equal ?ATTRIBUTE RepresentativeSample))) (property ?POP_COLL ?ATTRIBUTE))))	UXExperimentalTerms.kif 627-643	If an entity_COLL is an instance of collection and another entity_COLL is an instance of collection and an experimenting is an instance of experimenting and a cognitive agent is an instance of cognitive agent and the cognitive agent is an agent of the experimenting and the entity_COLL is a sample of the other entity_COLL for the experimenting, then for all an attribute if the attribute is an instance of attribute and the entity_COLL has an attribute the attribute and the cognitive agent is interested in the attribute and the attribute is not equal to representative sample, then the other entity_COLL has an attribute the attribute
(=> (and (property ?Option StockOption) (underlier ?Option ?Stock)) (property ?Stock CommonStock))	FinancialOntology.kif 2633-2637	If an agreement has an attribute stock option and a financial instrument is an underlier of the agreement, then the financial instrument has an attribute common stock
(=> (and (subclass ?X ?CLASS) (instance ?I ?X) (instance ?ATTR Attribute)) (=> (property ?I ?ATTR) (equal ?X (AttrFn ?CLASS ?ATTR))))	Merge.kif 1847-1855	If a class is a subclass of a set or class and an entity is an instance of the class and an attribute is an instance of attribute, then if the entity has an attribute the attribute, then the class is equal to the attr of the set or class and the attribute
(=> (and (successorAttribute ?ATTR1 ?ATTR2) (holdsDuring ?TIME1 (property ?ENTITY ?ATTR2))) (exists (?TIME2) (and (temporalPart ?TIME2 (PastFn ?TIME1)) (holdsDuring ?TIME2 (property ?ENTITY ?ATTR1)))))	Merge.kif 746-753	If an attribute is an immediate successor attribute of another attribute and an entity has an attribute the other attribute holds during a time position, then there exists another time position such that the other time position is a part of before the time position and the entity has an attribute the attribute holds during the other time position
(=> (contractor ?BUILDING ?CONTRACTOR) (exists (?CONTRACT ?AGENT) (and (property ?CONTRACT Contract) (partyToAgreement ?AGENT ?CONTRACT) (partyToAgreement ?CONTRACTOR ?CONTRACT) (confersObligation (exists (?CONSTRUCT ?BUILDING2) (and (instance ?CONSTRUCT Constructing) (agent ?CONSTRUCT ?CONTRACTOR) (result ?CONSTRUCT ?BUILDING2) (instance ?BUILDING2 StationaryArtifact))) ?AGENT ?CONTRACTOR))))	Mid-level-ontology.kif 18475-18488	If a cognitive agent has a contract to build a stationary artifact, then there exist an agreement and another cognitive agent such that the agreement has an attribute contract and the agreement is a party to agreement of the other cognitive agent and the agreement is a party to agreement of the cognitive agent and the other cognitive agent obligates the cognitive agent to perform task of the type there exist an entity and the stationary artifact2 such that the entity is an instance of constructing and the cognitive agent is an agent of the entity and the stationary artifact2 is a result of the entity and the stationary artifact2 is an instance of stationary artifact
(=> (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))))))	Merge.kif 528-538	If @ROW is the opposite of , then for all an attribute and another attribute if the attribute is equal to another entity element of (@ROW) and the other attribute is equal to a third entity element of (@ROW) and a positive integer is not equal to another positive integer, then if a fourth entity has an attribute the attribute, then the fourth entity has not an attribute the other attribute
(=> (dataStreamSlack ?Path ?Number) (or (property ?Path ContinuousPath) (property ?Path QuasicontinuousPath)))	QoSontology.kif 1209-1213	If a positive integer is a data stream slack of a computer path, then the computer path has an attribute continuous path or the computer path has an attribute quasicontinuous path
(=> (equal ?ATTR1 ?ATTR2) (forall (?THING) (<=> (property ?THING ?ATTR1) (property ?THING ?ATTR2))))	Merge.kif 300-305	If an attribute is equal to another attribute, then for all an entity the entity has an attribute the attribute if and only if the entity has an attribute the other attribute
(=> (equal ?THING1 ?THING2) (forall (?ATTR) (<=> (property ?THING1 ?ATTR) (property ?THING2 ?ATTR))))	Merge.kif 293-298	If an entity is equal to another entity, then for all an attribute the entity has an attribute the attribute if and only if the other entity has an attribute the attribute

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

(property Cheetah VulnerableSpecies)	Mid-level-ontology.kif 28703-28703	Cheetah has an attribute VulnerableSpecies
(property Crocodile LeastConcernSpecies)	Mid-level-ontology.kif 28679-28679	Crocodile has an attribute LeastConcernSpecies
(property Ferret LeastConcernSpecies)	Mid-level-ontology.kif 28720-28720	Ferret has an attribute LeastConcernSpecies
(property GuineaPig LeastConcernSpecies)	Mid-level-ontology.kif 28738-28738	Guinea pig has an attribute LeastConcernSpecies
(property Hamster LeastConcernSpecies)	Mid-level-ontology.kif 28750-28750	Hamster has an attribute LeastConcernSpecies
(property Lemur CriticallyEndangeredSpecies)	Mid-level-ontology.kif 28609-28609	Lemur has an attribute CriticallyEndangeredSpecies
(property Lion VulnerableSpecies)	Mid-level-ontology.kif 28510-28510	Lion has an attribute VulnerableSpecies
(property Octopus LeastConcernSpecies)	Mid-level-ontology.kif 28639-28639	Octopus has an attribute LeastConcernSpecies
(property Panda VulnerableSpecies)	Mid-level-ontology.kif 28626-28626	Panda has an attribute VulnerableSpecies
(property Parrot LeastConcernSpecies)	Mid-level-ontology.kif 28592-28592	Parrot has an attribute LeastConcernSpecies
(property Reindeer VulnerableSpecies)	Mid-level-ontology.kif 28661-28661	Reindeer has an attribute VulnerableSpecies
(property Rhinoceros EndangeredSpecies)	Mid-level-ontology.kif 28569-28569	Rhinoceros has an attribute endangered species
(property Tiger EndangeredSpecies)	Mid-level-ontology.kif 28549-28549	Tiger has an attribute endangered 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: