TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1517-1518
No TPTP formula. May not be expressible in strict first order.	Merge.kif 585-588
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 82-84
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 94-96
No TPTP formula. May not be expressible in strict first order.	Merge.kif 582-582	The number 1 argument of partition is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 583-583	The number 2 argument of partition is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 580-580	partition is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 581-581	partition is an instance of variable arity relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 311-311
No TPTP formula. May not be expressible in strict first order.	english_format.kif 316-316
No TPTP formula. May not be expressible in strict first order.	french_format.kif 178-178
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 213-213
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1998-1998
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 130-130
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 187-187
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 408-408
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 251-251
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 198-198
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 188-188
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 405-405
No TPTP formula. May not be expressible in strict first order.	Merge.kif 550-550	exhaustive decomposition is internally related to partition
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 312-312
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44569-44569
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44568-44568

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 606-612	If a class is exhaustively partitioned into another class and a third class and an entity is an instance of the class and the entity is not an instance of the other class, then the entity is an instance of the third class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 602-604	If a class is exhaustively partitioned into another class and a third class, then the class is exhaustively partitioned into the third class and the other class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 590-594	If @ROW is exhaustively partitioned into @ROW, then @ROW is covered by @ROW and @ROW is disjointly decomposed into @ROW

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 596-600	If @ROW is covered by @ROW and @ROW is disjointly decomposed into @ROW, then @ROW is exhaustively partitioned into @ROW
No TPTP formula. May not be expressible in strict first order.	Merge.kif 602-604	If a class is exhaustively partitioned into another class and a third class, then the class is exhaustively partitioned into the third class and the other class

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11175-11175	Ambulating is exhaustively partitioned into walking and running
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14961-14961	Anatomical structure is exhaustively partitioned into animal anatomical structure and plant anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14960-14960	Anatomical structure is exhaustively partitioned into body part and abnormal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14493-14493	Animal is exhaustively partitioned into vertebrate and invertebrate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16884-16884	Argument is exhaustively partitioned into deductive argument and inductive argument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1702-1702	Attribute is exhaustively partitioned into internal attribute and relational attribute
No TPTP formula. May not be expressible in strict first order.	WMD.kif 82-82	Biochemical agent is exhaustively partitioned into biological agent and chemical agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 108-108	Biochemical weapon is exhaustively partitioned into biological weapon and chemical weapon
No TPTP formula. May not be expressible in strict first order.	WMD.kif 157-157	Biological agent is exhaustively partitioned into toxin and toxic organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7652-7652	Care organization is exhaustively partitioned into hospital organization and medical clinic
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1027-1027	Chairman publication is exhaustively partitioned into chairman instruction and chairman manual
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12550-12550	Chemical process is exhaustively partitioned into chemical synthesis and chemical decomposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13082-13082	Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3578-3578	Currency is exhaustively partitioned into currency bill and coin
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16904-16904	Deductive argument is exhaustively partitioned into valid deductive argument and invalid deductive argument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 816-816	Entity is exhaustively partitioned into physical and abstract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12970-12970	Expressing is exhaustively partitioned into gesture and expressing in language
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1597-1597	Firearm is exhaustively partitioned into rifle and pistol
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8179-8179	Garden is exhaustively partitioned into residential garden and public garden
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14078-14078	Geographic area is exhaustively partitioned into water area and land area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17860-17860	Geometric figure is exhaustively partitioned into geometric point, one dimensional figure, two dimensional figure, and three dimensional figure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5821-5821	Graph element is exhaustively partitioned into graph node and graph arc
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1155-1155	Gun is exhaustively partitioned into artillery gun and firearm
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5279-5279	Hardwood is exhaustively partitioned into softwood
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14691-14691	Human is exhaustively partitioned into man and woman

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: