TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1712-1713
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1620-1622
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1617-1617	The number 1 argument of property is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1618-1618	The number 2 argument of property is an instance of attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1616-1616	property is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 177-177
No TPTP formula. May not be expressible in strict first order.	english_format.kif 181-181
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1622-1622	abstraction level is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1628-1628	attribute is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1519-1519	complexity is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1378-1378	design pattern is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 457-457	environment attributes is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1475-1475	form of adaptation is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1640-1640	manner is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16129-16129	modal attribute is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23532-23532	shape is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 794-794	status is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1558-1558	strictness is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1347-1347	system behavior is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1447-1447	task relation is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15838-15838	truth is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47732-47732
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 178-178
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47731-47731
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47730-47730

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1547-1557	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2675-2687	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)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2689-2701	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.	Mid-level-ontology.kif 20119-20123	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 383-388	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 400-405	If a railway is an instance of railway and the railway the 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)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 447-452	If a railway is an instance of railway and the railway the 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)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 423-428	If a railway is an instance of railway and the railway the 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)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 430-435	If a railway is an instance of railway and the railway the 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)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6647-6653	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6672-6678	If an entity is an instance of nitrogen dioxide 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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6612-6618	If an entity is an instance of sulphur dioxide 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11799-11813	If an agreement the 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15823-15829	If an entity the 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23540-23545	If a physical the 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
No TPTP formula. May not be expressible in strict first order.	engineering.kif 229-233	If an entity the attribute an attribute and the attribute is an instance of algebro differential attribute, then the entity is an instance of set of equations
No TPTP formula. May not be expressible in strict first order.	engineering.kif 210-216	If an entity the 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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2709-2721	If an agreement the 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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2729-2741	If an agreement the 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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2591-2607	If an agreement the 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 is 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

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3158-3164	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 407-409	An entity is an instance of broad gauge railway if and only if the entity the attribute broad gauge
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 463-465	An entity is an instance of DualGaugeRailway if and only if the entity the attribute dual gauge railway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 454-456	An entity is an instance of narrow gauge railway if and only if the entity the attribute narrow gauge
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 437-439	An entity is an instance of standard gauge railway if and only if the entity the attribute standard gauge
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1710-1715	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 the attribute the attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11691-11694	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 11652-11657	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 16160-16173	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1106-1115	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2634-2638	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1700-1708	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 the attribute the attribute, then the class is equal to the attr of the set or 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 18508-18521	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 476-486	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 266-271	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 259-264	If an entity is equal to another entity, then for all an attribute the entity the attribute the attribute if and only if the other entity the attribute the attribute

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28744-28744	Cheetah the attribute VulnerableSpecies
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28720-28720	Crocodile the attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28761-28761	Ferret the attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28779-28779	Guinea pig the attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28791-28791	Hamster the attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28650-28650	Lemur the attribute CriticallyEndangeredSpecies
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28551-28551	Lion the attribute VulnerableSpecies
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28680-28680	Octopus the attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28667-28667	Panda the attribute VulnerableSpecies
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28633-28633	Parrot the attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28702-28702	Reindeer the attribute VulnerableSpecies
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28610-28610	Rhinoceros the attribute endangered species
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28590-28590	Tiger the attribute endangered species

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

KB Term:			Term intersection

English Word: