TreeView Knowledge Base Browser

appearance as argument number 1

s__documentation(s__property__m,s__ChineseLanguage,'"这个 Predicate 在 Entity 的实例和 Attribute 的实例成立。(property ?ENTITY ?ATTR) 的意思是 ?ENTITY 有 ?ATTR 的 Attribute。"')	chinese_format.kif 1712-1713
s__documentation(s__property__m,s__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 1654-1656
s__domain(s__property__m,n__1,s__Entity)	Merge.kif 1651-1651	The number 1 argument of property is an instance of entity
s__domain(s__property__m,n__2,s__Attribute)	Merge.kif 1652-1652	The number 2 argument of property is an instance of attribute
s__instance(s__BinaryPredicate,s__Class) s__instance(s__property__m,s__BinaryPredicate)	Merge.kif 1650-1650	property is an instance of binary predicate

appearance as argument number 2

s__format(s__ChineseLanguage,s__property__m,'"%1 %n 有 %2 的 attribute"')	chinese_format.kif 177-177
s__format(s__EnglishLanguage,s__property__m,'"%1 %n{does not have} the attribute %2"')	english_format.kif 181-181
s__subrelation(s__abstractionLevel__m,s__property__m)	QoSontology.kif 1622-1622	abstraction level is a subrelation of property
s__subrelation(s__attribute__m,s__property__m)	Merge.kif 1662-1662	attribute is a subrelation of property
s__subrelation(s__complexity__m,s__property__m)	QoSontology.kif 1519-1519	complexity is a subrelation of property
s__subrelation(s__designPattern__m,s__property__m)	QoSontology.kif 1378-1378	design pattern is a subrelation of property
s__subrelation(s__environmentAttributes__m,s__property__m)	QoSontology.kif 457-457	environment attributes is a subrelation of property
s__subrelation(s__formOfAdaptation__m,s__property__m)	QoSontology.kif 1475-1475	form of adaptation is a subrelation of property
s__subrelation(s__manner__m,s__property__m)	Merge.kif 1674-1674	manner is a subrelation of property
s__subrelation(s__modalAttribute__m,s__property__m)	Merge.kif 16594-16594	modal attribute is a subrelation of property
s__subrelation(s__shape__m,s__property__m)	Mid-level-ontology.kif 24613-24613	shape is a subrelation of property
s__subrelation(s__status__m,s__property__m)	QoSontology.kif 794-794	status is a subrelation of property
s__subrelation(s__strictness__m,s__property__m)	QoSontology.kif 1558-1558	strictness is a subrelation of property
s__subrelation(s__systemBehavior__m,s__property__m)	QoSontology.kif 1347-1347	system behavior is a subrelation of property
s__subrelation(s__taskRelation__m,s__property__m)	QoSontology.kif 1447-1447	task relation is a subrelation of property
s__subrelation(s__truth__m,s__property__m)	Merge.kif 16303-16303	truth is a subrelation of property
s__termFormat(s__ChineseLanguage,s__property__m,'"属性"')	domainEnglishFormat.kif 47787-47787
s__termFormat(s__ChineseLanguage,s__property__m,'"特性"')	chinese_format.kif 178-178
s__termFormat(s__ChineseTraditionalLanguage,s__property__m,'"屬性"')	domainEnglishFormat.kif 47786-47786
s__termFormat(s__EnglishLanguage,s__property__m,'"property"')	domainEnglishFormat.kif 47785-47785

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2673-2683	An entity is an instance of region and the entity the 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
( ! [V__ATTR,V__X] : (((s__instance(V__ATTR,s__SpeedScaleAttribute) & s__property(V__X,V__ATTR)) => (s__instance(V__X,s__Motion))) ) )	Weather.kif 2049-2053	If an attribute is an instance of speed scale attribute and an entity the attribute the attribute, then the entity is an instance of motion
( ! [V__X,V__BN] : (((s__instance(V__BN,s__BeaufortNumberAttribute) & s__property(V__X,V__BN)) => (s__instance(V__X,s__Wind))) ) )	Weather.kif 343-347	If an attribute is an instance of Beaufort number attribute and an entity the attribute the attribute, then the entity is an instance of wind
( ! [V__DOC,V__PROP] : ((s__instance(V__PROP,s__Proposition) => (((s__instance(V__DOC,s__ContractDocument) & s__containsInformation(V__DOC,V__PROP) & s__property(V__PROP,s__Contract)) => (s__property(V__PROP,s__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 the attribute contract, then the proposition the attribute law
( ! [V__EF,V__T] : (((s__instance(V__EF,s__EFScaleAttribute) & s__property(V__T,V__EF)) => (s__instance(V__T,s__Tornado))) ) )	Weather.kif 2083-2087	If an attribute is an instance of enhanced fuijita scale attribute and an entity the attribute the attribute, then the entity is an instance of tornado
( ! [V__Time,V__Exercise,V__Option,V__Stocks] : (((s__instance(V__Time,s__TimePosition) & s__instance(V__Option,s__Agreement) & s__instance(V__Stocks,s__FinancialInstrument)) => (((s__instance(V__Exercise,s__ExerciseAnOption) & s__patient(V__Exercise,V__Option) & s__property(V__Option,s__CallOption) & s__time(V__Exercise,V__Time) & s__underlier(V__Option,V__Stocks)) => (( ? [V__Buy] : ((s__instance(V__Buy,s__Buying) & s__patient(V__Buy,V__Stocks) & s__time(V__Buy,V__Time) & s__measure(V__Stocks,s__MeasureFn(n__100,s__ShareUnit))))))))) ) )	FinancialOntology.kif 2715-2727	If a process is an instance of exercise an option and an agreement is a patient of the process and the agreement the 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)
( ! [V__Time,V__Exercise,V__Option,V__Stocks] : (((s__instance(V__Time,s__TimePosition) & s__instance(V__Option,s__Agreement) & s__instance(V__Stocks,s__FinancialInstrument)) => (((s__instance(V__Exercise,s__ExerciseAnOption) & s__patient(V__Exercise,V__Option) & s__property(V__Option,s__PutOption) & s__time(V__Exercise,V__Time) & s__underlier(V__Option,V__Stocks)) => (( ? [V__Sell] : ((s__instance(V__Sell,s__Selling) & s__patient(V__Sell,V__Stocks) & s__time(V__Sell,V__Time) & s__measure(V__Stocks,s__MeasureFn(n__100,s__ShareUnit))))))))) ) )	FinancialOntology.kif 2729-2741	If a process is an instance of exercise an option and an agreement is a patient of the process and the agreement the 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)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2436-2450	If a process is an instance of hurricane and an entity is an instance of SSHWS5 and the process is located at 2 and a cognitive agent believes the process the attribute the entity, then there exists a quantity such that the quantity is greater than 157 and the cognitive agent believes the quantity miles per hour(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the cognitive agentREA
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2358-2377	If a process is an instance of hurricane and a speed scale attribute is an instance of Saffir Simpson Hurrican wind scale and the process is located at 2 and a cognitive agent believes the process the attribute the speed scale attribute and a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of the speed scale attribute and the unit of measure is an instance of unit of measure, then there exists a quantity such that the quantity is greater than or equal to the real number and the quantity is less than or equal to the other real number and the cognitive agent believes the quantity the unit of measure(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the cognitive agentREA
( ! [V__O,V__X] : (((s__instance(V__O,s__OccupationalRole) & s__property(V__X,V__O)) => (s__instance(V__X,s__CognitiveAgent))) ) )	Mid-level-ontology.kif 21372-21376	If an attribute is an instance of occupational role and an entity the attribute the attribute, then the entity is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 230-235	If an entity is an instance of organic object and another entity is an instance of developmental attribute and the entity the 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
( ! [V__Path] : (((s__instance(V__Path,s__ComputerPath) & s__property(V__Path,s__ContinuousPath)) => (~(s__property(V__Path,s__QuasicontinuousPath)))) ) )	QoSontology.kif 1170-1174	If an entity is an instance of computer path and the entity the attribute continuous path, then the entity does not have the attribute quasicontinuous path
( ! [V__Path] : (((s__instance(V__Path,s__ComputerPath) & s__property(V__Path,s__ContinuousPath)) => (~(s__property(V__Path,s__TransientPath)))) ) )	QoSontology.kif 1164-1168	If an entity is an instance of computer path and the entity the attribute continuous path, then the entity does not have the attribute transient path
( ! [V__Path] : (((s__instance(V__Path,s__ComputerPath) & s__property(V__Path,s__DynamicDataStream)) => (~(s__property(V__Path,s__DeterministicDataStream)))) ) )	QoSontology.kif 1142-1146	If an entity is an instance of computer path and the entity the attribute dynamic data stream, then the entity does not have the attribute deterministic data stream
( ! [V__Path] : (((s__instance(V__Path,s__ComputerPath) & s__property(V__Path,s__DynamicDataStream)) => (~(s__property(V__Path,s__StochasticDataStream)))) ) )	QoSontology.kif 1136-1140	If an entity is an instance of computer path and the entity the attribute dynamic data stream, then the entity does not have the attribute stochastic data stream
( ! [V__WIDTH,V__RR] : ((s__instance(V__WIDTH,s__RealNumber) => (((s__instance(V__RR,s__Railway) & s__property(V__RR,s__BroadGauge) & s__trackWidth(V__RR,s__MeasureFn(V__WIDTH,s__Meter))) => (s__greaterThan(V__WIDTH,n__1_44))))) ) )	Transportation.kif 403-409	If a railway is an instance of railway and the railway the attribute broad gauge and a real number meter(s) is a track width of the railway, then the real number is greater than 1.44
( ! [V__WIDTH,V__RR] : ((s__instance(V__WIDTH,s__RealNumber) => (((s__instance(V__RR,s__Railway) & s__property(V__RR,s__NarrowGauge) & s__trackWidth(V__RR,s__MeasureFn(V__WIDTH,s__Meter))) => (s__lessThanOrEqualTo(V__WIDTH,n__1_435))))) ) )	Transportation.kif 453-458	If a railway is an instance of railway and the railway the attribute narrow gauge and a real number meter(s) is a track width of the railway, then the real number is less than or equal to 1.435
( ! [V__WIDTH,V__RR] : ((s__instance(V__WIDTH,s__RealNumber) => (((s__instance(V__RR,s__Railway) & s__property(V__RR,s__StandardGauge) & s__trackWidth(V__RR,s__MeasureFn(V__WIDTH,s__Meter))) => (s__greaterThanOrEqualTo(V__WIDTH,n__1_435))))) ) )	Transportation.kif 427-433	If a railway is an instance of railway and the railway the attribute standard gauge and a real number meter(s) is a track width of the railway, then the real number is greater than or equal to 1.435
( ! [V__WIDTH,V__RR] : ((s__instance(V__WIDTH,s__RealNumber) => (((s__instance(V__RR,s__Railway) & s__property(V__RR,s__StandardGauge) & s__trackWidth(V__RR,s__MeasureFn(V__WIDTH,s__Meter))) => (s__lessThanOrEqualTo(V__WIDTH,n__1_44))))) ) )	Transportation.kif 435-441	If a railway is an instance of railway and the railway the attribute standard gauge and a real number meter(s) is a track width of the railway, then the real number is less than or equal to 1.44
( ! [V__H,V__SS] : (((s__instance(V__SS,s__SSHWSAttribute) & s__property(V__H,V__SS)) => (s__instance(V__H,s__Hurricane))) ) )	Weather.kif 2352-2356	If an attribute is an instance of Saffir Simpson Hurrican wind scale and an entity the attribute the attribute, then the entity is an instance of hurricane
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2184-2198	If a process is an instance of tornado and an entity is an instance of EF5 and the process is located at 2 and a cognitive agent believes the process the attribute the entity, then there exists a quantity such that the quantity is greater than 200 and the cognitive agent believes the quantity miles per hour(s) is equal to ThreeSecondSpeedGustFn ending at the time of existence of the process in the cognitive agentREA
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2089-2107	If a process is an instance of tornado and a speed scale attribute is an instance of enhanced fuijita scale attribute and the process is located at 2 and a cognitive agent believes the process the attribute the speed scale attribute and a real number miles per hour(s) and another real number miles per hour(s) are the min and max speed of the speed scale attribute, then there exists a quantity such that the quantity is greater than or equal to the real number and the quantity is less than or equal to the other real number and the cognitive agent believes the quantity miles per hour(s) is equal to ThreeSecondSpeedGustFn ending at the time of existence of the process in the cognitive agentREA
No TPTP formula. May not be expressible in strict first order.	Weather.kif 484-496	If a process is an instance of wind and an entity is an instance of Beaufort number 12 and the process is located at 2 and a cognitive agent believes the process the attribute the entity, then there exists a quantity such that the quantity is greater than 73 and the cognitive agent believes the quantity miles per hour(s) is a surface wind speed of the cognitive agentREA
No TPTP formula. May not be expressible in strict first order.	Weather.kif 349-366	If a process is an instance of wind and a speed scale attribute is an instance of Beaufort number attribute and the process is located at 2 and a cognitive agent believes the process the attribute the speed scale attribute and a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of the speed scale attribute and the unit of measure is an instance of unit of measure, then there exists a quantity such that the quantity is greater than or equal to the real number and the quantity is less than or equal to the other real number and the cognitive agent believes the quantity the unit of measure(s) is a surface wind speed of the cognitive agentREA
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6746-6752	If an entity is an instance of nitric oxide and the entity the attribute standard ambient temperature and pressure holds during a time position, then gas is an attribute of the entity holds during the time position

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

( ! [V__Agent,V__Org] : (((s__instance(V__Agent,s__Agreement) & s__instance(V__Agent,s__CognitiveAgent) & s__instance(V__Org,s__Agent) & s__instance(V__Org,s__Agreement)) => (((s__employs(V__Org,V__Agent) => ( ? [V__Employment] : ((s__instance(V__Employment,s__CognitiveAgent) & (s__property(V__Employment,s__Employment) & s__partyToAgreement(V__Employment,V__Org) & s__partyToAgreement(V__Employment,V__Agent)))))) & (( ? [V__Employment] : ((s__instance(V__Employment,s__CognitiveAgent) & (s__property(V__Employment,s__Employment) & s__partyToAgreement(V__Employment,V__Org) & s__partyToAgreement(V__Employment,V__Agent))))) => s__employs(V__Org,V__Agent))))) ) )	FinancialOntology.kif 3221-3227	An agent employs an agreement if and only if there exists a cognitive agent such that the cognitive agent the 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
( ! [V__Program] : ((s__instance(V__Program,s__ComputerProgram) => (((( ? [V__Process] : ((s__instance(V__Process,s__ComputerProcess) & s__programRunning(V__Process,V__Program)))) => s__property(V__Program,s__Executable)) & (s__property(V__Program,s__Executable) => ( ? [V__Process] : ((s__instance(V__Process,s__ComputerProcess) & s__programRunning(V__Process,V__Program)))))))) ) )	QoSontology.kif 987-990	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 the attribute executable
( ! [V__RR] : (((s__instance(V__RR,s__BroadGaugeRailway) => s__property(V__RR,s__BroadGauge)) & (s__property(V__RR,s__BroadGauge) => s__instance(V__RR,s__BroadGaugeRailway))) ) )	Transportation.kif 411-413	An entity is an instance of broad gauge railway if and only if the entity the attribute broad gauge
( ! [V__RR] : (((s__instance(V__RR,s__DualGaugeRailway) => s__property(V__RR,s__DualGauge)) & (s__property(V__RR,s__DualGauge) => s__instance(V__RR,s__DualGaugeRailway))) ) )	Transportation.kif 469-471	An entity is an instance of DualGaugeRailway if and only if the entity the attribute dual gauge railway
( ! [V__RR] : (((s__instance(V__RR,s__NarrowGaugeRailway) => s__property(V__RR,s__NarrowGauge)) & (s__property(V__RR,s__NarrowGauge) => s__instance(V__RR,s__NarrowGaugeRailway))) ) )	Transportation.kif 460-462	An entity is an instance of narrow gauge railway if and only if the entity the attribute narrow gauge
( ! [V__RR] : (((s__instance(V__RR,s__StandardGaugeRailway) => s__property(V__RR,s__StandardGauge)) & (s__property(V__RR,s__StandardGauge) => s__instance(V__RR,s__StandardGaugeRailway))) ) )	Transportation.kif 443-445	An entity is an instance of standard gauge railway if and only if the entity the attribute standard gauge
( ! [V__ATTR,V__X,V__CLASS] : (((s__instance(V__ATTR,s__Attribute) & s__instance(V__CLASS,s__Class)) => (((s__instance(V__X,s__AttrFn(V__CLASS,V__ATTR)) => (s__instance(V__X,V__CLASS) & s__property(V__X,V__ATTR))) & ((s__instance(V__X,V__CLASS) & s__property(V__X,V__ATTR)) => s__instance(V__X,s__AttrFn(V__CLASS,V__ATTR)))))) ) )	Merge.kif 1744-1749	An entity is an instance of the attr of a class and an attribute if and only if the entity is an instance of the class and the entity the attribute the attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13247-13250	If an agreement has expiration a time point, then the agreement does not have the attribute active agreement holds during after the time point
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13208-13213	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 the attribute active agreement holds during a time that starts at the time point and lasts for the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16625-16638	If an attribute is an attribute of an object and the attribute 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 attribute is an attribute of the object is a patient of the process and the agent believes the object the attribute the attribute holds during the time position
( ! [V__Agent,V__Account,V__Bank] : (((s__instance(V__Agent,s__Agreement) & s__instance(V__Agent,s__CognitiveAgent) & s__instance(V__Bank,s__Agreement) & s__instance(V__Bank,s__FinancialOrganization)) => (((s__instance(V__Account,s__LiabilityAccount) & s__accountHolder(V__Account,V__Agent) & s__accountAt(V__Account,V__Bank)) => (( ? [V__Debt] : ((s__instance(V__Debt,s__CognitiveAgent) & (s__property(V__Debt,s__Liability) & s__partyToAgreement(V__Debt,V__Agent) & s__partyToAgreement(V__Debt,V__Bank))))))))) ) )	FinancialOntology.kif 1116-1125	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 the 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
( ! [V__DOC,V__PROP] : ((s__instance(V__PROP,s__Proposition) => (((s__instance(V__DOC,s__ContractDocument) & s__containsInformation(V__DOC,V__PROP) & s__property(V__PROP,s__Contract)) => (s__property(V__PROP,s__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 the attribute contract, then the proposition the attribute law
( ! [V__Path] : (((s__instance(V__Path,s__ComputerPath) & s__property(V__Path,s__ContinuousPath)) => (~(s__property(V__Path,s__QuasicontinuousPath)))) ) )	QoSontology.kif 1170-1174	If an entity is an instance of computer path and the entity the attribute continuous path, then the entity does not have the attribute quasicontinuous path
( ! [V__Path] : (((s__instance(V__Path,s__ComputerPath) & s__property(V__Path,s__ContinuousPath)) => (~(s__property(V__Path,s__TransientPath)))) ) )	QoSontology.kif 1164-1168	If an entity is an instance of computer path and the entity the attribute continuous path, then the entity does not have the attribute transient path
( ! [V__Path] : (((s__instance(V__Path,s__ComputerPath) & s__property(V__Path,s__DynamicDataStream)) => (~(s__property(V__Path,s__DeterministicDataStream)))) ) )	QoSontology.kif 1142-1146	If an entity is an instance of computer path and the entity the attribute dynamic data stream, then the entity does not have the attribute deterministic data stream
( ! [V__Path] : (((s__instance(V__Path,s__ComputerPath) & s__property(V__Path,s__DynamicDataStream)) => (~(s__property(V__Path,s__StochasticDataStream)))) ) )	QoSontology.kif 1136-1140	If an entity is an instance of computer path and the entity the attribute dynamic data stream, then the entity does not have the attribute stochastic data stream
( ! [V__AGENT,V__POP_COLL,V__EXPERIMENT,V__SAMPLE_COLL] : (((s__instance(V__SAMPLE_COLL,s__Collection) & s__instance(V__POP_COLL,s__Collection) & s__instance(V__EXPERIMENT,s__Experimenting) & s__instance(V__AGENT,s__CognitiveAgent) & s__agent(V__EXPERIMENT,V__AGENT) & s__statisticalPopulation(V__SAMPLE_COLL,V__POP_COLL,V__EXPERIMENT)) => (( ! [V__ATTRIBUTE] : (((s__instance(V__ATTRIBUTE,s__Attribute) & s__property(V__SAMPLE_COLL,V__ATTRIBUTE) & s__inScopeOfInterest(V__AGENT,V__ATTRIBUTE) & ~((V__ATTRIBUTE = s__RepresentativeSample))) => (s__property(V__POP_COLL,V__ATTRIBUTE))))))) ) )	UXExperimentalTerms.kif 629-645	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 the 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 the attribute the attribute
( ! [V__Option,V__Stock] : (((s__instance(V__Option,s__Agreement) & s__instance(V__Stock,s__FinancialInstrument)) => (((s__property(V__Option,s__StockOption) & s__underlier(V__Option,V__Stock)) => (s__property(V__Stock,s__CommonStock))))) ) )	FinancialOntology.kif 2674-2678	If an agreement the attribute stock option and a financial instrument is an underlier of the agreement, then the financial instrument the attribute common stock
( ! [V__ATTR,V__U,V__MAX,V__MIN] : (((s__instance(V__ATTR,s__SpeedScaleAttribute) & s__instance(V__MAX,s__RealNumber) & s__instance(V__MIN,s__RealNumber)) => (((s__speedScaleAttributeMinMax(V__ATTR,s__MeasureFn(V__MIN,V__U) ,s__MeasureFn(V__MAX,V__U)) & s__instance(V__U,s__UnitOfMeasure)) => (( ? [V__X, V__SPEED] : ((s__instance(V__SPEED,s__RealNumber) & (s__instance(V__X,s__Motion) & s__property(V__X,V__ATTR) & s__measure(V__X,s__MeasureFn(V__SPEED,V__U)) & s__greaterThanOrEqualTo(V__SPEED,V__MIN) & s__lessThanOrEqualTo(V__SPEED,V__MAX))))))))) ) )	Weather.kif 2123-2136	If a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of a speed scale attribute and the unit of measure is an instance of unit of measure, then there exist a physical and a third real number such that the physical is an instance of motion and the physical the attribute the speed scale attribute and the measure of the physical is the third real number the unit of measure(s) and the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number
( ! [V__ATTR,V__X,V__I,V__CLASS] : (((s__instance(V__X,s__Class) & s__instance(V__CLASS,s__Class)) => (((s__subclass(V__X,V__CLASS) & s__instance(V__I,V__X) & s__instance(V__ATTR,s__Attribute)) => ((s__property(V__I,V__ATTR) => ((V__X = s__AttrFn(V__CLASS,V__ATTR)))))))) ) )	Merge.kif 1734-1742	If a class is a subclass of another class and an entity is an instance of the class and an attribute is an instance of attribute, then if the entity the attribute the attribute, then the class is equal to the attr of the other class and the attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 683-690	If an attribute is an immediate successor attribute of another attribute and an entity the 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 the attribute the attribute holds during the other time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19822-19835	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 the 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
( ! [V__NUMBER1,V__NUMBER2,V__OBJ,V__ROW3,V__ROW4,V__ROW2] : (((s__instance(V__NUMBER1,s__PositiveInteger) & s__instance(V__NUMBER2,s__PositiveInteger) & s__instance(V__ROW3,s__Attribute) & s__instance(V__ROW4,s__Attribute) & s__instance(V__ROW2,s__Attribute)) => ((s__contraryAttribute__3(V__ROW2,V__ROW3,V__ROW4) => (( ! [V__ATTR1, V__ATTR2] : (((s__instance(V__ATTR1,s__Attribute) & s__instance(V__ATTR2,s__Attribute)) => ((((V__ATTR1 = s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4) ,V__NUMBER1)) & (V__ATTR2 = s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4) ,V__NUMBER2)) & ~((V__NUMBER1 = V__NUMBER2))) => ((s__property(V__OBJ,V__ATTR1) => (~(s__property(V__OBJ,V__ATTR2)))))))))))))) ) ) ( ! [V__NUMBER1,V__NUMBER2,V__ROW5,V__OBJ,V__ROW3,V__ROW4,V__ROW2] : (((s__instance(V__NUMBER1,s__PositiveInteger) & s__instance(V__NUMBER2,s__PositiveInteger) & s__instance(V__ROW5,s__Attribute) & s__instance(V__ROW3,s__Attribute) & s__instance(V__ROW4,s__Attribute) & s__instance(V__ROW2,s__Attribute)) => ((s__contraryAttribute__4(V__ROW2,V__ROW3,V__ROW4,V__ROW5) => (( ! [V__ATTR1, V__ATTR2] : (((s__instance(V__ATTR1,s__Attribute) & s__instance(V__ATTR2,s__Attribute)) => ((((V__ATTR1 = s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5) ,V__NUMBER1)) & (V__ATTR2 = s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5) ,V__NUMBER2)) & ~((V__NUMBER1 = V__NUMBER2))) => ((s__property(V__OBJ,V__ATTR1) => (~(s__property(V__OBJ,V__ATTR2)))))))))))))) ) ) ( ! [V__NUMBER1,V__NUMBER2,V__ROW5,V__ROW6,V__OBJ,V__ROW3,V__ROW4,V__ROW2] : (((s__instance(V__NUMBER1,s__PositiveInteger) & s__instance(V__NUMBER2,s__PositiveInteger) & s__instance(V__ROW5,s__Attribute) & s__instance(V__ROW6,s__Attribute) & s__instance(V__ROW3,s__Attribute) & s__instance(V__ROW4,s__Attribute) & s__instance(V__ROW2,s__Attribute)) => ((s__contraryAttribute__5(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6) => (( ! [V__ATTR1, V__ATTR2] : (((s__instance(V__ATTR1,s__Attribute) & s__instance(V__ATTR2,s__Attribute)) => ((((V__ATTR1 = s__ListOrderFn(s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6) ,V__NUMBER1)) & (V__ATTR2 = s__ListOrderFn(s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6) ,V__NUMBER2)) & ~((V__NUMBER1 = V__NUMBER2))) => ((s__property(V__OBJ,V__ATTR1) => (~(s__property(V__OBJ,V__ATTR2)))))))))))))) ) ) ( ! [V__NUMBER1,V__ROW7,V__NUMBER2,V__ROW5,V__ROW6,V__OBJ,V__ROW3,V__ROW4,V__ROW2] : (((s__instance(V__NUMBER1,s__PositiveInteger) & s__instance(V__ROW7,s__Attribute) & s__instance(V__NUMBER2,s__PositiveInteger) & s__instance(V__ROW5,s__Attribute) & s__instance(V__ROW6,s__Attribute) & s__instance(V__ROW3,s__Attribute) & s__instance(V__ROW4,s__Attribute) & s__instance(V__ROW2,s__Attribute)) => ((s__contraryAttribute__6(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7) => (( ! [V__ATTR1, V__ATTR2] : (((s__instance(V__ATTR1,s__Attribute) & s__instance(V__ATTR2,s__Attribute)) => ((((V__ATTR1 = s__ListOrderFn(s__ListFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7) ,V__NUMBER1)) & (V__ATTR2 = s__ListOrderFn(s__ListFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7) ,V__NUMBER2)) & ~((V__NUMBER1 = V__NUMBER2))) => ((s__property(V__OBJ,V__ATTR1) => (~(s__property(V__OBJ,V__ATTR2)))))))))))))) ) ) ( ! [V__NUMBER1,V__NUMBER2,V__OBJ,V__ROW3,V__ROW2] : (((s__instance(V__NUMBER1,s__PositiveInteger) & s__instance(V__NUMBER2,s__PositiveInteger) & s__instance(V__ROW3,s__Attribute) & s__instance(V__ROW2,s__Attribute)) => ((s__contraryAttribute__2(V__ROW2,V__ROW3) => (( ! [V__ATTR1, V__ATTR2] : (((s__instance(V__ATTR1,s__Attribute) & s__instance(V__ATTR2,s__Attribute)) => ((((V__ATTR1 = s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3) ,V__NUMBER1)) & (V__ATTR2 = s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3) ,V__NUMBER2)) & ~((V__NUMBER1 = V__NUMBER2))) => ((s__property(V__OBJ,V__ATTR1) => (~(s__property(V__OBJ,V__ATTR2)))))))))))))) ) ) ( ! [V__NUMBER1,V__NUMBER2,V__OBJ,V__ROW2] : (((s__instance(V__NUMBER1,s__PositiveInteger) & s__instance(V__NUMBER2,s__PositiveInteger) & s__instance(V__ROW2,s__Attribute)) => ((s__contraryAttribute__1(V__ROW2) => (( ! [V__ATTR1, V__ATTR2] : (((s__instance(V__ATTR1,s__Attribute) & s__instance(V__ATTR2,s__Attribute)) => ((((V__ATTR1 = s__ListOrderFn(s__ListFn__1Fn(V__ROW2) ,V__NUMBER1)) & (V__ATTR2 = s__ListOrderFn(s__ListFn__1Fn(V__ROW2) ,V__NUMBER2)) & ~((V__NUMBER1 = V__NUMBER2))) => ((s__property(V__OBJ,V__ATTR1) => (~(s__property(V__OBJ,V__ATTR2)))))))))))))) ) ) ( ! [V__NUMBER1,V__ROW7,V__NUMBER2,V__ROW8,V__ROW5,V__ROW6,V__OBJ,V__ROW3,V__ROW4,V__ROW2] : (((s__instance(V__NUMBER1,s__PositiveInteger) & s__instance(V__ROW7,s__Attribute) & s__instance(V__NUMBER2,s__PositiveInteger) & s__instance(V__ROW8,s__Attribute) & s__instance(V__ROW5,s__Attribute) & s__instance(V__ROW6,s__Attribute) & s__instance(V__ROW3,s__Attribute) & s__instance(V__ROW4,s__Attribute) & s__instance(V__ROW2,s__Attribute)) => ((s__contraryAttribute__7(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8) => (( ! [V__ATTR1, V__ATTR2] : (((s__instance(V__ATTR1,s__Attribute) & s__instance(V__ATTR2,s__Attribute)) => ((((V__ATTR1 = s__ListOrderFn(s__ListFn__7Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8) ,V__NUMBER1)) & (V__ATTR2 = s__ListOrderFn(s__ListFn__7Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8) ,V__NUMBER2)) & ~((V__NUMBER1 = V__NUMBER2))) => ((s__property(V__OBJ,V__ATTR1) => (~(s__property(V__OBJ,V__ATTR2)))))))))))))) ) )	Merge.kif 475-485	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 the attribute the attribute, then the fourth entity does not have the attribute the other attribute
( ! [V__Path,V__Number] : (((s__instance(V__Path,s__ComputerPath) & s__instance(V__Number,s__PositiveInteger)) => ((s__dataStreamSlack(V__Path,V__Number) => ((s__property(V__Path,s__ContinuousPath) \| s__property(V__Path,s__QuasicontinuousPath)))))) ) )	QoSontology.kif 1219-1223	If a positive integer is a data stream slack of a computer path, then the computer path the attribute continuous path or the computer path the attribute quasicontinuous path
( ! [V__ATTR1,V__ATTR2] : (((s__instance(V__ATTR1,s__Attribute) & s__instance(V__ATTR2,s__Attribute)) => (((V__ATTR1 = V__ATTR2) => (( ! [V__THING] : (((s__property(V__THING,V__ATTR1) => s__property(V__THING,V__ATTR2)) & (s__property(V__THING,V__ATTR2) => s__property(V__THING,V__ATTR1))))))))) ) )	Merge.kif 265-270	If an attribute is equal to another attribute, then for all an entity the entity the attribute the attribute if and only if the entity the attribute the other attribute

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

s__property(s__Cheetah,s__VulnerableSpecies)	Mid-level-ontology.kif 29615-29615	Cheetah the attribute VulnerableSpecies
s__property(s__Crocodile,s__LeastConcernSpecies)	Mid-level-ontology.kif 29591-29591	Crocodile the attribute LeastConcernSpecies
s__property(s__Ferret,s__LeastConcernSpecies)	Mid-level-ontology.kif 29632-29632	Ferret the attribute LeastConcernSpecies
s__property(s__GuineaPig,s__LeastConcernSpecies)	Mid-level-ontology.kif 29650-29650	Guinea pig the attribute LeastConcernSpecies
s__property(s__Hamster,s__LeastConcernSpecies)	Mid-level-ontology.kif 29662-29662	Hamster the attribute LeastConcernSpecies
s__property(s__Lemur,s__CriticallyEndangeredSpecies)	Mid-level-ontology.kif 29521-29521	Lemur the attribute CriticallyEndangeredSpecies
s__property(s__Lion,s__VulnerableSpecies)	Mid-level-ontology.kif 29422-29422	Lion the attribute VulnerableSpecies
s__property(s__Octopus,s__LeastConcernSpecies)	Mid-level-ontology.kif 29551-29551	Octopus the attribute LeastConcernSpecies
s__property(s__Panda,s__VulnerableSpecies)	Mid-level-ontology.kif 29538-29538	Panda the attribute VulnerableSpecies
s__property(s__Parrot,s__LeastConcernSpecies)	Mid-level-ontology.kif 29504-29504	Parrot the attribute LeastConcernSpecies
s__property(s__Reindeer,s__VulnerableSpecies)	Mid-level-ontology.kif 29573-29573	Reindeer the attribute VulnerableSpecies
s__property(s__Rhinoceros,s__EndangeredSpecies)	Mid-level-ontology.kif 29481-29481	Rhinoceros the attribute endangered species
s__property(s__Tiger,s__EndangeredSpecies)	Mid-level-ontology.kif 29461-29461	Tiger the attribute endangered species

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

KB Term:			Term intersection

English Word: