TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 24604-24604

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24606-24606	LocalizablePlaceID est une sous-classe de PlaceID
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24608-24608	PlaceAddress est une sous-classe de PlaceID
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24925-24925	VirtualPlaceID est une sous-classe de PlaceID
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65323-65323