Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  VirtualPlaceID

Sigma KEE - VirtualPlaceID
VirtualPlaceID

appearance as argument number 1
-------------------------


(subclass VirtualPlaceID PlaceID) Mid-level-ontology.kif 24868-24868 VirtualPlaceIDPlaceIDsubclass では %n

appearance as argument number 2
-------------------------


(subclass AccountID VirtualPlaceID) Media.kif 2926-2926 AccountIDVirtualPlaceIDsubclass では %n
(subclass VirtualAddress VirtualPlaceID) Mid-level-ontology.kif 24871-24871 VirtualAddressVirtualPlaceIDsubclass では %n
(termFormat EnglishLanguage VirtualPlaceID "virtual place ID") domainEnglishFormat.kif 65703-65703


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners