TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1500-1501
No TPTP formula. May not be expressible in strict first order.	Merge.kif 397-399
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 63-64
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 72-74
No TPTP formula. May not be expressible in strict first order.	Merge.kif 395-395	Le nombre 1 argument de disjoint est une instance de classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 396-396	Le nombre 2 argument de disjoint est une instance de classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 393-393	disjoint est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 394-394	disjoint est une instance de relation sym�trique

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 285-285
No TPTP formula. May not be expressible in strict first order.	english_format.kif 290-290
No TPTP formula. May not be expressible in strict first order.	french_format.kif 165-165
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 75-75
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1985-1985
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 117-117
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 109-109
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 182-182
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 370-370
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 59-59
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 185-185
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 172-172
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 166-166
No TPTP formula. May not be expressible in strict first order.	Merge.kif 569-569	disjointDecomposition est reli� � l'int�rieur de SUMO � disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 414-414	disjointRelation est reli� � l'int�rieur de SUMO � disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 286-286
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19848-19848
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19847-19847
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19846-19846
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 115-115
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 167-167

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 419-424	Le nombre nombre entier positif argument de relation est une instance de classe le nombre nombre entier positif argument de relation est une instance de classe classe est disjoint de classe relation et relation sont disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 426-431	Le nombre nombre entier positif argument de relation est une sous-classe de classe le nombre nombre entier positif argument de relation est une sous-classe de classe classe est disjoint de classe relation et relation sont disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 433-438	Le domaine de function est une instance de classe le domaine de function est une instance de classe classe est disjoint de classe function et function sont disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 440-445	Les valeurs retourn�es par function sont des sous-classes de classe les valeurs retourn�es par function sont des sous-classes de classe classe est disjoint de classe function et function sont disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 401-407	Classe est disjoint de classe entit� entit� est une instance de classe entit� est une instance de classe

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2968-2973	Classe est disjointement decompos� en classe, classe, + classe classe est disjoint de classe classe est disjoint de classe classe est disjoint de classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2957-2966	Classe est disjointement decompos� en @ROW classe classe classe est un membre de (@ROW) classe est un membre de (@ROW) classe est classe classe est disjoint de classe

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 974-974	AboveTheLine est disjoint de BelowTheLine
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8792-8792	Afternoon est disjoint de Evening
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 360-360	AltKey est disjoint de ControlKey
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 362-362	AltKey est disjoint de FunctionKey
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 361-361	AltKey est disjoint de ShiftKey
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1313-1313	AltKeyHoldDown est disjoint de ControlKeyHoldDown
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1312-1312	AltKeyHoldDown est disjoint de ShiftKeyHoldDown
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8233-8233	AnaerobicExerciseDevice est disjoint de AerobicExerciseDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19107-19107	AnteMeridiem est disjoint de PostMeridiem
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6937-6937	ApartmentBuilding est disjoint de SingleFamilyResidence
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 295-295	ArrowKey est disjoint de EnterKey
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14678-14678	Article est disjoint de livre
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 172-172	ArtilleryCannon est disjoint de MilitaryTank
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5954-5954	Asphalt est disjoint de FossilFuel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14023-14023	Corps astronomique est disjoint de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12348-12348	Attacher est disjoint de detacher
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1656-1656	AudioInput est disjoint de JoystickMotion
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1657-1657	AudioInput est disjoint de KeyboardAction
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1655-1655	AudioInput est disjoint de TouchSurfaceAction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10164-10164	AutonomicProcess est disjoint de processus intentionnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15737-15737	Barn est disjoint de ResidentialBuilding
No TPTP formula. May not be expressible in strict first order.	Sports.kif 740-740	BaseballSteal est disjoint de BaseballHit
No TPTP formula. May not be expressible in strict first order.	Sports.kif 739-739	BaseballSteal est disjoint de BaseballWalk
No TPTP formula. May not be expressible in strict first order.	Sports.kif 748-748	BaseballStrike est disjoint de BaseballHit
No TPTP formula. May not be expressible in strict first order.	Sports.kif 696-696	BaseballWalk est disjoint de BaseballHit

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: