TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Object ChineseLanguage "这可粗略地对应为一般物体。例子包括正常物理对象、地理区域和 Process 的位置，在 Physical 类别 Object 的补充。在四维本体论上， Object 的时空范畴可大致划分为与时间轴平行的空间间隔。")	chinese_format.kif 1552-1554
(documentation Object EnglishLanguage "Corresponds roughly to the class of ordinary objects. Examples include normal physical objects, geographical regions, and locations of Processes, the complement of Objects in the Physical class. In a 4D ontology, an Object is something whose spatiotemporal extent is thought of as dividing into spatial parts roughly parallel to the time-axis.")	Merge.kif 847-852
(documentation Object JapaneseLanguage "普通のオブジェクトのクラスにほぼ対応。　例には、通常の物理的なオブジェクト、地理的な地域、Physical クラス内の Objects を補完する Processes の場所など。　4Dオントロジーでは、Object は時空の範囲が時間軸にほぼ平行して部分的に分割されると考えられる。")	japanese_format.kif 122-125
(documentation Object SpanishLanguage "Corresponde aproximadamente a la clase de objetos ordinarios. Por ejemplo, incluye objetos físicos y normales, regiones geográficas y ubicaciones de Processes, el complemento de Objects en la clase Physical. En una ontología 4D, un Object es un objeto cuyo alcance espacio-temporal se piensa como dividido en tres partes espaciales que son aproximadamente paralelos al eje del tiempo.")	spanish_format.kif 141-145
(externalImage Object "http://upload.wikimedia.org/wikipedia/en/thumb/e/ ee/ Elaborate_wood_box_Tom_Tanaka.JPG/ 180px-Elaborate_wood_box_Tom_Tanaka.JPG")	pictureList.kif 1205-1205
(subclass Object Physical)	Merge.kif 846-846	オブジェクトは物理の subclass では %n

appearance as argument number 2

(partition Physical Object Process)	Merge.kif 833-833	物理はオブジェクト + 工程に exhaustively partitioned %n
(range HoleHostFn Object)	Merge.kif 9912-9912	HoleHostFn の range はオブジェクトのインスタンスでは %n
(range HoleSkinFn Object)	Merge.kif 10053-10053	HoleSkinFn の range はオブジェクトのインスタンスでは %n
(range LineFn Object)	ComputingBrands.kif 2626-2626	ラインの range はオブジェクトのインスタンスでは %n
(range MereologicalDifferenceFn Object)	Merge.kif 9815-9815	MereologicalDifferenceFn の range はオブジェクトのインスタンスでは %n
(range MereologicalProductFn Object)	Merge.kif 9794-9794	MereologicalProductFn の range はオブジェクトのインスタンスでは %n
(range MereologicalSumFn Object)	Merge.kif 9772-9772	MereologicalSumFn の range はオブジェクトのインスタンスでは %n
(rangeSubclass AttrFn Object)	Merge.kif 1763-1763	AttrFn が返す値はオブジェクトの subclasses では %n
(rangeSubclass MakingFn Object)	Merge.kif 18253-18253	MakingFn が返す値はオブジェクトの subclasses では %n
(subclass Artifact Object)	Merge.kif 15565-15565	アーチファクトはオブジェクトの subclass では %n
(subclass AstronomicalBody Object)	Merge.kif 13913-13913	天体はオブジェクトの subclass では %n
(subclass AutonomousAgent Object)	Merge.kif 1543-1543	AutonomousAgent はオブジェクトの subclass では %n
(subclass Collection Object)	Merge.kif 1261-1261	コレクションはオブジェクトの subclass では %n
(subclass ContactSite Object)	Mid-level-ontology.kif 24633-24633	ContactSite はオブジェクトの subclass では %n
(subclass Magnet Object)	Cars.kif 3866-3866	Magnet はオブジェクトの subclass では %n
(subclass PreparedFood Object)	Mid-level-ontology.kif 21372-21372	PreparedFood はオブジェクトの subclass では %n
(subclass Region Object)	Merge.kif 1251-1251	地域はオブジェクトの subclass では %n
(subclass SelfConnectedObject Object)	Merge.kif 862-862	自己接続オブジェクトはオブジェクトの subclass では %n
(subclass SphericalObject Object)	Mid-level-ontology.kif 25709-25709	SphericalObject はオブジェクトの subclass では %n
(subclass TornadoDamage Object)	Weather.kif 2068-2068	TornadoDamage はオブジェクトの subclass では %n
(subclass TransitwayObstacle Object)	Mid-level-ontology.kif 15120-15120	TransitwayObstacle はオブジェクトの subclass では %n
(subclass TwoDimensionalObject Object)	Mid-level-ontology.kif 4764-4764	TwoDimensionalObject はオブジェクトの subclass では %n
(termFormat ChineseLanguage Object "客体")	chinese_format.kif 815-815
(termFormat EnglishLanguage Object "object")	english_format.kif 832-832

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain AccelerationFn 3 Object)	Cars.kif 1276-1276	AccelerationFn の数値 3 引数はオブジェクトの instance では %n
(domain LineFn 1 Object)	ComputingBrands.kif 2624-2624	ラインの数値 1 引数はオブジェクトの instance では %n
(domain LineFn 2 Object)	ComputingBrands.kif 2625-2625	ラインの数値 2 引数はオブジェクトの instance では %n
(domain MereologicalDifferenceFn 1 Object)	Merge.kif 9813-9813	MereologicalDifferenceFn の数値 1 引数はオブジェクトの instance では %n
(domain MereologicalDifferenceFn 2 Object)	Merge.kif 9814-9814	MereologicalDifferenceFn の数値 2 引数はオブジェクトの instance では %n
(domain MereologicalProductFn 1 Object)	Merge.kif 9792-9792	MereologicalProductFn の数値 1 引数はオブジェクトの instance では %n
(domain MereologicalProductFn 2 Object)	Merge.kif 9793-9793	MereologicalProductFn の数値 2 引数はオブジェクトの instance では %n
(domain MereologicalSumFn 1 Object)	Merge.kif 9770-9770	MereologicalSumFn の数値 1 引数はオブジェクトの instance では %n
(domain MereologicalSumFn 2 Object)	Merge.kif 9771-9771	MereologicalSumFn の数値 2 引数はオブジェクトの instance では %n
(domain absorbedDose 1 Object)	MilitaryProcesses.kif 870-870	absorbedDose の数値 1 引数はオブジェクトの instance では %n
(domain adjacentOrientation 1 Object)	Hotel.kif 936-936	adjacentOrientation の数値 1 引数はオブジェクトの instance では %n
(domain advertisedOn 1 Object)	UXExperimentalTerms.kif 238-238	advertisedOn の数値 1 引数はオブジェクトの instance では %n
(domain airTemperature 1 Object)	Mid-level-ontology.kif 25771-25771	airTemperature の数値 1 引数はオブジェクトの instance では %n
(domain allowableValue 1 Object)	Mid-level-ontology.kif 31468-31468	allowableValue の数値 1 引数はオブジェクトの instance では %n
(domain anthem 2 Object)	Music.kif 357-357	anthem の数値 2 引数はオブジェクトの instance では %n
(domain applicableRelation 1 Object)	Mid-level-ontology.kif 31481-31481	applicableRelation の数値 1 引数はオブジェクトの instance では %n
(domain askPrice 1 Object)	FinancialOntology.kif 1940-1940	askPrice の数値 1 引数はオブジェクトの instance では %n
(domain attribute 1 Object)	Merge.kif 1707-1707	attribute の数値 1 引数はオブジェクトの instance では %n
(domain axis 1 Object)	Mid-level-ontology.kif 17335-17335	axis の数値 1 引数はオブジェクトの instance では %n
(domain axis 2 Object)	Mid-level-ontology.kif 17336-17336	axis の数値 2 引数はオブジェクトの instance では %n
(domain barometricPressure 1 Object)	Merge.kif 7802-7802	barometricPressure の数値 1 引数はオブジェクトの instance では %n
(domain beforeOnPath 1 Object)	Mid-level-ontology.kif 29874-29874	beforeOnPath の数値 1 引数はオブジェクトの instance では %n
(domain beforeOnPath 2 Object)	Mid-level-ontology.kif 29875-29875	beforeOnPath の数値 2 引数はオブジェクトの instance では %n
(domain beforeOnPath 3 Object)	Mid-level-ontology.kif 29876-29876	beforeOnPath の数値 3 引数はオブジェクトの instance では %n
(domain between 1 Object)	Merge.kif 4139-4139	between の数値 1 引数はオブジェクトの instance では %n

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (?ROLE ?EVENT ?OBJ) (instance ?ROLE CaseRole) (instance ?EVENT Process) (instance ?OBJ Object)) (playsRoleInEvent ?OBJ ?ROLE ?EVENT))	Mid-level-ontology.kif 23333-23339	格役割工程 and オブジェクト格役割は格役割の instance では %n 工程は工程の instance では %n オブジェクトはオブジェクトの instance では %n playsRoleInEvent オブジェクト, 格役割 and 工程
(=> (and (attribute ?X ?Y) (instance ?Y TemperatureAttribute) (instance ?X Object)) (exists (?TEMP) (and (measure ?X ?TEMP) (instance ?TEMP TemperatureMeasure) (attribute ?TEMP ?Y))))	Mid-level-ontology.kif 25785-25794	属性はオブジェクトの attribute では %n 属性は TemperatureAttribute の instance では %n オブジェクトはオブジェクトの instance では %n オブジェクトオブジェクトの measure はオブジェクトでは %n オブジェクトは温度測定の instance では %n 属性はオブジェクトの attribute では %n
(=> (and (customer ?CUST ?AGENT) (propertyAmenity ?AGENT ?PHYS) (subclass ?PHYS Object) (instance ?X ?PHYS)) (confersRight (exists (?PROC) (and (instance ?PROC Process) (or (resource ?PROC ?X) (instrument ?PROC ?X) (patient ?PROC ?X)) (or (agent ?PROC ?CUST) (experiencer ?PROC ?CUST)))) ?AGENT ?CUST))	Hotel.kif 504-520	customer 認識エージェント and AutonomousAgent propertyAmenity AutonomousAgent and 物理物理はオブジェクトの subclass では %n エンティティーは物理の instance では %n AutonomousAgent は認識エージェントがエンティティーエンティティーは工程の instance では %n エンティティーはエンティティーの resource では %n エンティティーはエンティティーの instrument では %n エンティティーはエンティティーの patient では %n 認識エージェントはエンティティーの agent では %n 認識エージェントがエンティティーを experiences %n{ない} のタスクを実行することはを allows %n{ない}
(=> (and (freeFunctionRoomAmenity ?FR ?PHYS) (instance ?RM ?FR) (element ?RM (PropertyFn ?AGENT)) (instance ?R Renting) (patient ?R ?RM) (destination ?R ?CUST) (instance ?X ?PHYS) (possesses ?AGENT ?X) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?X ?CUST)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT))	Hotel.kif 841-862	freeFunctionRoomAmenity HotelFunctionRoom and 物理エンティティーは HotelFunctionRoom の instance では %n エンティティーは AutonomousAgent の belongings の element %n 工程は Renting の instance では %n エンティティーは工程の patient では %n 工程は認識エージェントに ends %n{ない} オブジェクトは物理の instance では %n AutonomousAgent はオブジェクトを possesses %n{ない} customer 認識エージェント and AutonomousAgent オブジェクトは工程の instance では %n 認識エージェントはオブジェクトの agent では %n 認識エージェントがオブジェクトを experiences %n{ない} AutonomousAgent はオブジェクトを possesses %n{ない} オブジェクトはオブジェクトの instance では %n 認識エージェントはオブジェクトを uses %n{ない} price オブジェクト, 0 の UnitedStatesDollar(s) and AutonomousAgent
(=> (and (freePropertyAmenity ?AGENT ?PHYS) (instance ?X ?PHYS) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?X ?CUST)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT))	Hotel.kif 546-561	freePropertyAmenity AutonomousAgent and 物理工程は物理の instance では %n customer 認識エージェント and AutonomousAgent 工程は工程の instance では %n 認識エージェントは工程の agent では %n 認識エージェントが工程を experiences %n{ない} AutonomousAgent は工程を possesses %n{ない} 工程はオブジェクトの instance では %n 認識エージェントは工程を uses %n{ない} price 工程, 0 の UnitedStatesDollar(s) and AutonomousAgent
(=> (and (freeRoomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?O ?OBJ) (located ?O ?R) (instance ?P Process) (agent ?P ?GUEST) (or (patient ?P ?O) (instrument ?P ?O) (resource ?P ?O))) (price ?O (MeasureFn 0 UnitedStatesDollar) ?GUEST))	Hotel.kif 346-361	freeRoomAmenity HotelUnit and 物理物理はオブジェクトの subclass では %n TemporaryResidence は HotelUnit の instance では %n stays 人［人間］ and TemporaryResidence TemporaryResidence は AutonomousAgent の belongings の element %n オブジェクトは物理の instance では %n オブジェクトは TemporaryResidence に located して %n 工程は工程の instance では %n 人［人間］は工程の agent では %n オブジェクトは工程の patient では %n オブジェクトは工程の instrument では %n オブジェクトは工程の resource では %n price オブジェクト, 0 の UnitedStatesDollar(s) and 人［人間］
(=> (and (functionRoomAmenity ?FR ?PHY) (instance ?RM ?FR) (element ?RM (PropertyFn ?HOTEL)) (instance ?RENT Renting) (patient ?RENT ?RM) (agent ?RENT ?HOTEL) (destination ?RENT ?CUST) (subclass ?PHY Object)) (modalAttribute (exists (?O ?P) (and (instance ?O ?PHY) (instance ?P Process) (or (resource ?P ?O) (instrument ?P ?O) (patient ?P ?O)) (or (agent ?P ?CUST) (experiencer ?P ?CUST)))) Possibility))	Hotel.kif 811-832	functionRoomAmenity HotelFunctionRoom and 物理エンティティーは HotelFunctionRoom の instance では %n エンティティーは AutonomousAgent の belongings の element %n 工程は Renting の instance では %n エンティティーは工程の patient では %n AutonomousAgent は工程の agent では %n 工程はエンティティーに ends %n{ない} 物理はオブジェクトの subclass では %n ステートメントエンティティーエンティティーエンティティーは物理の instance では %n エンティティーは工程の instance では %n エンティティーはエンティティーの resource では %n エンティティーはエンティティーの instrument では %n エンティティーはエンティティーの patient では %n エンティティーはエンティティーの agent では %n エンティティーがエンティティーを experiences %n{ない} には Possibility の modal force がある
(=> (and (guest ?CUST ?HOTEL) (stays ?CUST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?R ?ROOM) (roomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object)) (exists (?O) (and (instance ?O ?OBJ) (located ?O ?R) (confersRight (exists (?PROC) (and (agent ?PROC ?CUST) (or (instrument ?PROC ?O) (patient ?PROC ?O) (resource ?PROC ?O)))) ?HOTEL ?CUST))))	Hotel.kif 294-313	guest 人［人間］ and AutonomousAgent stays 人［人間］ and TemporaryResidence TemporaryResidence は AutonomousAgent の belongings の element %n TemporaryResidence は TemporaryResidenceOOM の instance では %n roomAmenity TemporaryResidenceOOM and 物理物理はオブジェクトの subclass では %n 物理物理は物理の instance では %n 物理は TemporaryResidence に located して %n AutonomousAgent は人［人間］がエンティティー人［人間］はエンティティーの agent では %n 物理はエンティティーの instrument では %n 物理はエンティティーの patient では %n 物理はエンティティーの resource では %n のタスクを実行することはを allows %n{ない}
(=> (and (instance ?ATC AddToCart) (instance ?OBJ Object) (patient ?ATC ?OBJ) (agent ?ATC ?USER)) (exists (?COLL ?SITE ?AFTER ?INTERVAL) (and (instance ?COLL Collection) (instance ?SITE WebSite) (instance ?INTERVAL TimeInterval) (webcart ?USER ?COLL ?SITE) (equal (BeginFn ?INTERVAL) (EndFn ?ATC)) (holdsDuring ?AFTER (member ?OBJ ?COLL)))))	UXExperimentalTerms.kif 1523-1539	時間間隔は AddToCart の instance では %n エンティティーはオブジェクトの instance では %n エンティティーは時間間隔の patient では %n AutonomousAgent は時間間隔の agent では %n コレクション WebSite, 時間位置 and 時間間隔コレクションはコレクションの instance では %n WebSite は WebSite の instance では %n 時間間隔は時間間隔の instance では %n webcart AutonomousAgent, コレクション and WebSite 時間間隔の beginning は時間間隔の end と equal では %n エンティティーはコレクションの member では %n は時間位置の during holds %n{ない}
(=> (and (instance ?ATC AddToCart) (instance ?USER AutonomousAgent) (instance ?OBJ Object) (agent ?ATC ?USER) (patient ?ATC ?OBJ)) (desires ?USER (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?OBJ) (agent ?BUYING ?USER)))))	UXExperimentalTerms.kif 1509-1521	工程は AddToCart の instance では %n 認識エージェントは AutonomousAgent の instance では %n エンティティーはオブジェクトの instance では %n 認識エージェントは工程の agent では %n エンティティーは工程の patient では %n 認識エージェントがエンティティーエンティティーは購買の instance では %n エンティティーはエンティティーの patient では %n 認識エージェントはエンティティーの agent では %n を desires %n{ない}
(=> (and (instance ?AUCTIONING Auctioning) (instance ?BIDDER1 AutonomousAgent) (instance ?BIDDER2 AutonomousAgent) (instance ?ITEM Object) (instance ?U UnitOfCurrency) (patient ?AUCTIONING ?ITEM) (bidPrice ?ITEM (MeasureFn ?OFFER1 ?U) ?BIDDER1) (bidPrice ?ITEM (MeasureFn ?OFFER2 ?U) ?BIDDER2) (greaterThan ?OFFER1 ?OFFER2)) (destination ?AUCTIONING ?BIDDER1))	UXExperimentalTerms.kif 437-448	工程は Auctioning の instance では %n AutonomousAgent は AutonomousAgent の instance では %n AutonomousAgent は AutonomousAgent の instance では %n オブジェクトはオブジェクトの instance では %n 測定単位は UnitOfCurrency の instance では %n オブジェクトは工程の patient では %n bidPrice オブジェクト, 実数の測定単位(s) and AutonomousAgent bidPrice オブジェクト, 実数の測定単位(s) and AutonomousAgent 実数は実数より greater では　%n 工程は AutonomousAgent に ends %n{ない}
(=> (and (instance ?AUCTIONING Auctioning) (instance ?ITEM Object) (patient ?AUCTIONING ?ITEM)) (exists (?BIDDER ?OFFER) (and (instance ?BIDDER AutonomousAgent) (instance ?OFFER CurrencyMeasure) (bidPrice ?ITEM ?OFFER ?BIDDER))))	UXExperimentalTerms.kif 426-435	工程は Auctioning の instance では %n オブジェクトはオブジェクトの instance では %n オブジェクトは工程の patient では %n AutonomousAgent 通貨測定 AutonomousAgent は AutonomousAgent の instance では %n 通貨測定は通貨測定の instance では %n bidPrice オブジェクト, 通貨測定 and AutonomousAgent
(=> (and (instance ?B Blade) (instance ?CUT Cutting) (instance ?OBJ Object) (instrument ?CUT ?B) (patient ?CUT ?OBJ)) (meetsSpatially ?B ?OBJ))	Mid-level-ontology.kif 22098-22105	オブジェクトは Blade の instance では %n 工程は切断の instance では %n オブジェクトはオブジェクトの instance では %n オブジェクトは工程の instrument では %n オブジェクトは工程の patient では %n オブジェクトはオブジェクトと meets %n{ない}
(=> (and (instance ?BUYINGS Collection) (instance ?GMB CurrencyMeasure) (instance ?TOTAL RealNumber) (equal ?GMB (GMBFn ?BUYINGS)) (equal ?TOTAL (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Object) (exists (?BUYING) (and (member ?BUYING ?BUYINGS) (patient ?BUYING ?ITEM)))))))) (equal (ABPFn ?BUYINGS) (DivisionFn ?GMB ?TOTAL)))	UXExperimentalTerms.kif 3445-3465	コレクションはコレクションの instance では %n 実数は通貨測定の instance では %n 整数は実数の instance では %n 実数は GMBFn コレクションと equal では %n 整数はエンティティー class の instances の数と equal では %n ABPFn コレクションは実数 + 整数と equal では %n
(=> (and (instance ?CATEG WebListingCategory) (instance ?LISTING1 WebListing) (instance ?LISTING2 WebListing) (instance ?ITEM1 Object) (instance ?ITEM2 Object) (member ?LISTING1 ?CATEG) (member ?LISTING2 ?CATEG) (patient ?ITEM1 ?LISTING1) (patient ?ITEM2 ?LISTING2)) (exists (?CLASS) (and (instance ?CLASS Class) (instance ?ITEM1 ?CLASS) (instance ?ITEM2 ?CLASS))))	UXExperimentalTerms.kif 182-197	コレクションは WebListingCategory の instance では %n 物理は WebListing の instance では %n 物理は WebListing の instance では %n 工程はオブジェクトの instance では %n 工程はオブジェクトの instance では %n 物理はコレクションの member では %n 物理はコレクションの member では %n 物理は工程の patient では %n 物理は工程の patient では %n クラスクラスはクラスの instance では %n 工程はクラスの instance では %n 工程はクラスの instance では %n
(=> (and (instance ?ITEM Object) (instance ?LISTING WebListing) (attribute ?LISTING ForSaleByOwner) (patient ?LISTING ?ITEM)) (instance ?ITEM Vehicle))	UXExperimentalTerms.kif 464-470	エンティティーはオブジェクトの instance では %n オブジェクトは WebListing の instance では %n ForSaleByOwner はオブジェクトの attribute では %n エンティティーはオブジェクトの patient では %n エンティティーは Vehicle の instance では %n
(=> (and (instance ?ITEM Object) (instance ?LISTING WebListing) (instance ?OWNER AutonomousAgent) (attribute ?LISTING ForSaleByOwner) (possesses ?OWNER ?ITEM)) (instance ?OWNER Human))	UXExperimentalTerms.kif 472-479	オブジェクトはオブジェクトの instance では %n オブジェクトは WebListing の instance では %n AutonomousAgent は AutonomousAgent の instance では %n ForSaleByOwner はオブジェクトの attribute では %n AutonomousAgent はオブジェクトを possesses %n{ない} AutonomousAgent は人［人間］の instance では %n
(=> (and (instance ?L Lathe) (instance ?OBJ Object) (instrument ?PROC ?L) (patient ?PROC ?OBJ)) (exists (?R) (and (instance ?R Rotating) (subProcess ?PROC ?R) (patient ?R ?OBJ) (agent ?R ?L))))	Economy.kif 5406-5417	AutonomousAgent は Lathe の instance では %n エンティティーはオブジェクトの instance では %n AutonomousAgent は工程の instrument では %n エンティティーは工程の patient では %n 工程工程は Rotating の instance では %n 工程は工程% の subprocess では %n エンティティーは工程の patient では %n AutonomousAgent は工程の agent では %n
(=> (and (instance ?L1 Object) (attribute ?L1 LongAndThin) (instance ?L2 Object) (attribute ?L2 LongAndThin) (connected ?L1 ?L2) (not (equal ?L1 ?L2))) (exists (?M) (relativeAngle ?L1 ?L2 ?M)))	Merge.kif 17767-17777	オブジェクトはオブジェクトの instance では %n LongAndThin はオブジェクトの attribute では %n オブジェクトはオブジェクトの instance では %n LongAndThin はオブジェクトの attribute では %n オブジェクトはオブジェクトと connected してオブジェクトはオブジェクトと equal では実数 relativeAngle オブジェクト, オブジェクト and 実数
(=> (and (instance ?LISTING WebListing) (instance ?ITEM Object) (instance ?CREATOR AutonomousAgent) (attribute ?LISTING AuctionAttribute) (patient ?ITEM ?LISTING) (creator ?CREATOR ?LISTING)) (desires ?CREATOR (exists (?AUCTION) (and (instance ?AUCTION Auctioning) (patient ?AUCTION ?ITEM)))))	UXExperimentalTerms.kif 393-405	オブジェクトは WebListing の instance では %n 工程はオブジェクトの instance では %n 認識エージェントは AutonomousAgent の instance では %n AuctionAttribute はオブジェクトの attribute では %n オブジェクトは工程の patient では %n creator 認識エージェント and オブジェクト認識エージェントがエンティティーエンティティーは Auctioning の instance では %n 工程はエンティティーの patient では %n を desires %n{ない}
(=> (and (instance ?O Object) (attribute ?O ConvexRoundShape) (surface ?TO ?O) (instance ?TO TwoDimensionalObject)) (forall (?P) (and (part ?P ?O) (attribute ?P GeometricPoint) (pointOfFigure ?P ?O) (meetsSpatially ?P ?O) (meetsSpatially ?P ?TO) (exists (?T) (tangent ?T ?TO)))))	Mid-level-ontology.kif 4786-4800	自己接続オブジェクトはオブジェクトの instance では %n ConvexRoundShape は自己接続オブジェクトの attribute では %n 自己接続オブジェクトは自己接続オブジェクトの surface では %n 自己接続オブジェクトは TwoDimensionalObject の instance では %n GeometricPoint GeometricPoint は自己接続オブジェクトの part では %n GeometricPoint は GeometricPoint の attribute では %n GeometricPoint の vertex は自己接続オブジェクトでは %n GeometricPoint は自己接続オブジェクトと meets %n{ない} GeometricPoint は自己接続オブジェクトと meets %n{ない} OneDimensionalFigure 自己接続オブジェクトの tangent は OneDimensionalFigure では %n
(=> (and (instance ?OBJ Object) (attribute ?OBJ Pliable)) (exists (?CHANGE) (and (instance ?CHANGE ShapeChange) (patient ?CHANGE ?OBJ))))	Merge.kif 17631-17638	オブジェクトはオブジェクトの instance では %n Pliable はオブジェクトの attribute では %n 工程工程は形状変化の instance では %n オブジェクトは工程の patient では %n
(=> (and (instance ?OBJ1 Object) (partlyLocated ?OBJ1 ?OBJ2)) (exists (?SUB) (and (part ?SUB ?OBJ1) (located ?SUB ?OBJ2))))	Merge.kif 4048-4055	オブジェクトはオブジェクトの instance では %n オブジェクトは partly にオブジェクトに位置して %n オブジェクトオブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトに located して %n
(=> (and (instance ?OBJ1 Object) (partlyLocated ?OBJ1 ?OBJ2)) (overlapsSpatially ?OBJ1 ?OBJ2))	Merge.kif 4042-4046	オブジェクトはオブジェクトの instance では %n オブジェクトは partly にオブジェクトに位置して %n overlapsSpatially オブジェクト and オブジェクト
(=> (and (instance ?PLACE Object) (instance ?BLOW Wind) (measure ?BLOW (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION))) (surfaceWindVelocity ?PLACE (SpeedFn ?DIST ?TIME) ?DIRECTION))	Weather.kif 125-130	地域はオブジェクトの instance では %n 物理は Wind の instance では %n 物理の measure は方向の分の %2 per 1 では %n surfaceWindVelocity 地域, 時間分 per 長さ測定 and 方向属性

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(=> (and (attribute ?X ?ATTR) (instance ?ATTR SizeAttribute)) (instance ?X Object))	Mid-level-ontology.kif 25385-25389	属性はオブジェクトの attribute では %n 属性は SizeAttribute の instance では %n オブジェクトはオブジェクトの instance では %n
(=> (and (attribute ?X DutyFree) (instance ?X Store)) (exists (?AREA ?OBJ ?O ?SELL) (and (instance ?AREA GeopoliticalArea) (located ?X ?AREA) (subclass ?O Object) (importCommodityType ?AREA ?O) (instance ?OBJ ?O) (instance ?SELL Selling) (patient ?SELL ?OBJ) (located ?SELL ?X))))	Hotel.kif 1478-1491	DutyFree はオブジェクトの attribute では %n オブジェクトは Store の instance では %n 地政学的地域エンティティー, オブジェクト and 工程地政学的地域は地政学的地域の instance では %n オブジェクトは地政学的地域に located して %n オブジェクトはオブジェクトの subclass では %n importCommodityType 地政学的地域 and オブジェクトエンティティーはオブジェクトの instance では %n 工程は販売の instance では %n エンティティーは工程の patient では %n 工程はオブジェクトに located して %n
(=> (and (holdsDuring ?T1 (and (attribute ?PERSON DislocatedCivilian) (inhabits ?PERSON ?RESIDENCE) (located ?RESIDENCE ?PLACE))) (instance ?PLACE GeographicArea) (instance ?T1 TimeInterval)) (exists (?T0 ?PRIOR-PLACE ?PRIOR-RES) (and (instance ?T0 TimeInterval) (earlier ?T0 ?T1) (instance ?PRIOR-RES Object) (instance ?PRIOR-PLACE GeopoliticalArea) (located ?PRIOR-RES ?PRIOR-PLACE) (not (equal ?PLACE ?PRIOR-PLACE)) (not (equal ?RESIDENCE ?PRIOR-RES)) (not (geographicSubregion ?PLACE ?PRIOR-PLACE)) (not (geographicSubregion ?PRIOR-PLACE ?PLACE)) (holdsDuring ?T0 (inhabits ?PERSON ?PRIOR-RES)))))	MilitaryPersons.kif 26-47	DislocatedCivilian はエンティティーの attribute では %n エンティティーはエンティティーに lives %n{ない} エンティティーは地理的地域に located して %n は時間間隔の during holds %n{ない} 地理的地域は地理的地域の instance では %n 時間間隔は時間間隔の instance では %n 時間間隔エンティティー-PLACE and エンティティー-RES 時間間隔は時間間隔の instance では %n 時間間隔は時間間隔より earlier happens %n{ない} エンティティー-RES はオブジェクトの instance では %n エンティティー-PLACE は地政学的地域の instance では %n エンティティー-RES はエンティティー-PLACE に located して %n 地理的地域はエンティティー-PLACE と equal ではエンティティーはエンティティー-RES と equal では geographicSubregion 地理的地域 and エンティティー-PLACE geographicSubregion エンティティー-PLACE and 地理的地域エンティティーはエンティティー-RES に lives %n{ない} は時間間隔の during holds %n{ない}
(=> (and (instance ?C Choking) (experiencer ?C ?H)) (exists (?O ?T ?L) (and (instance ?O Object) (instance ?T Trachea) (instance ?L Lung) (part ?T ?H) (part ?L ?H) (holdsDuring (WhenFn ?C) (or (located ?O ?T) (located ?O ?L))))))	Mid-level-ontology.kif 11624-11639	工程は Choking の instance では %n AutonomousAgent が工程を experiences %n{ない} エンティティーオブジェクト and オブジェクトエンティティーはオブジェクトの instance では %n オブジェクトは Trachea の instance では %n オブジェクトは Lung の instance では %n オブジェクトは AutonomousAgent の part では %n オブジェクトは AutonomousAgent の part では %n エンティティーはオブジェクトに located して %n エンティティーはオブジェクトに located して %n は工程の time の existence の during holds %n{ない}
(=> (and (instance ?C Coughing) (experiencer ?C ?H)) (hasPurpose ?C (exists (?R ?L ?O ?T) (and (instance ?L Lung) (instance ?T Throat) (instance ?O Object) (instance ?R Removing) (part ?L ?H) (part ?T ?H) (objectTransferred ?R ?O) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (or (located ?O ?T) (located ?O ?L)))))))	Mid-level-ontology.kif 6023-6042	工程は Coughing の instance では %n AutonomousAgent が工程を experiences %n{ない} 工程はエンティティーエンティティー, エンティティー and エンティティーエンティティーは Lung の instance では %n エンティティーは Throat の instance では %n エンティティーはオブジェクトの instance では %n エンティティーは除却の instance では %n エンティティーは AutonomousAgent の part では %n エンティティーは AutonomousAgent の part では %n objectTransferred エンティティー and エンティティーエンティティーはエンティティーに located して %n エンティティーはエンティティーに located して %n は工程の time の existence の immediately before の during holds %n{ない} の目的 %n{ない}
(=> (and (instance ?C Sneezing) (experiencer ?C ?H)) (hasPurpose ?C (exists (?R ?N ?NOSE ?O) (and (instance ?N NasalCavity) (instance ?NOSE Nose) (equal ?NOSE (HoleHostFn ?N)) (instance ?O Object) (instance ?R Removing) (part ?NOSE ?H) (objectTransferred ?R ?O) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (located ?O ?N))))))	Mid-level-ontology.kif 6089-6107	工程は Sneezing の instance では %n AutonomousAgent が工程を experiences %n{ない} 工程はエンティティーエンティティー, エンティティーOSE and エンティティーエンティティーは NasalCavity の instance では %n エンティティーOSE は Nose の instance では %n エンティティーOSE はホールエンティティーの host と equal では %n エンティティーはオブジェクトの instance では %n エンティティーは除却の instance では %n エンティティーOSE は AutonomousAgent の part では %n objectTransferred エンティティー and エンティティーエンティティーはエンティティーに located して %n は工程の time の existence の immediately before の during holds %n{ない} の目的 %n{ない}
(=> (and (instance ?ORG Organization) (attribute ?ORG AirTransportationIndustry)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?FLY ?PLANE ?OBJ) (and (instance ?FLY Transportation) (or (patient ?FLY ?P) (and (possesses ?P ?OBJ) (patient ?FLY ?OBJ) (instance ?OBJ Object))) (possesses ?ORG ?PLANE) (instance ?PLANE Aircraft))) ?MEM ?P))))))	naics.kif 7953-7978	コレクションは組織の instance では %n AirTransportationIndustry はコレクションの attribute では %n AutonomousAgent 工程工程はコレクションの member では %n AutonomousAgent は工程の agent では %n 認識エージェント AutonomousAgent は販売の instance では %n 認識エージェントは人［人間］の instance では %n 認識エージェントは AutonomousAgent の patient では %n 工程は認識エージェントがエンティティー認識エージェントLANE and エンティティーエンティティーは交通手段の instance では %n 認識エージェントはエンティティーの patient では %n 認識エージェントはエンティティーを possesses %n{ない} エンティティーはエンティティーの patient では %n エンティティーはオブジェクトの instance では %n コレクションは認識エージェントLANE を possesses %n{ない} 認識エージェントLANE は Aircraft の instance では %n のタスクを実行することはを allows %n{ない}
(=> (and (instance ?ORG Organization) (attribute ?ORG BuildingMaterialAndGardenEquipmentAndSuppliesDealers)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (instance ?THING Object) (or (capability Constructing resource ?THING) (capability Agriculture resource ?THING)) (patient ?EV ?THING))))))	naics.kif 7242-7257	コレクションは組織の instance では %n BuildingMaterialAndGardenEquipmentAndSuppliesDealers はコレクションの attribute では %n AutonomousAgent 工程工程はコレクションの member では %n AutonomousAgent は工程の agent では %n オブジェクト AutonomousAgent は販売の instance では %n オブジェクトはオブジェクトの instance では %n オブジェクトは構築を resource として行う capable では %n オブジェクトは Agriculture を resource として行う capable では %n オブジェクトは AutonomousAgent の patient では %n
(=> (and (instance ?ORG Organization) (attribute ?ORG CouriersAndMessengers)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P ?OBJ) (and (instance ?EV Selling) (instance ?OBJ Object) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?TRANS) (and (instance ?TRANS Transportation) (possesses ?P ?OBJ) (patient ?TRANS ?OBJ))) ?MEM ?P))))))	naics.kif 8736-8756	コレクションは組織の instance では %n CouriersAndMessengers はコレクションの attribute では %n AutonomousAgent 工程工程はコレクションの member では %n AutonomousAgent は工程の agent では %n 認識エージェントエンティティー AutonomousAgent は販売の instance では %n エンティティーはオブジェクトの instance では %n 認識エージェントは人［人間］の instance では %n 認識エージェントは AutonomousAgent の patient では %n 工程は認識エージェントがエンティティーエンティティーは交通手段の instance では %n 認識エージェントはエンティティーを possesses %n{ない} エンティティーはエンティティーの patient では %n のタスクを実行することはを allows %n{ない}
(=> (and (instance ?ORG Organization) (attribute ?ORG GeneralMerchandiseStores)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?P) (and (instance ?EV Selling) (instance ?P Human) (instance ?THING Object) (destination ?EV ?P) (patient ?EV ?THING))))))	naics.kif 7702-7716	コレクションは組織の instance では %n GeneralMerchandiseStores はコレクションの attribute では %n AutonomousAgent 工程工程はコレクションの member では %n AutonomousAgent は工程の agent では %n エンティティーエンティティー AutonomousAgent は販売の instance では %n エンティティーは人［人間］の instance では %n エンティティーはオブジェクトの instance では %n AutonomousAgent はエンティティーに ends %n{ない} エンティティーは AutonomousAgent の patient では %n
(=> (and (instance ?ORG Organization) (attribute ?ORG MiscellaneousManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING Object) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 6153-6169	コレクションは組織の instance では %n MiscellaneousManufacturing はコレクションの attribute では %n AutonomousAgent 工程工程はコレクションの member では %n AutonomousAgent は工程の agent では %n エンティティー工程2 and AutonomousAgent2 AutonomousAgent は製造の instance では %n エンティティーはオブジェクトの instance では %n エンティティーは AutonomousAgent の patient では %n 工程2 はコレクションの member では %n AutonomousAgent2 は販売の instance では %n 工程2 は AutonomousAgent2 の agent では %n エンティティーは AutonomousAgent2 の patient では %n
(=> (and (instance ?ORG Organization) (attribute ?ORG MiscellaneousStoreRetailers)) (exists (?EV ?MEM ?THING ?ST ?P) (and (member ?MEM ?ORG) (agent ?EV ?P) (instance ?EV Selling) (instance ?P Human) (instance ?ST RetailStore) (eventLocated ?EV ?ST) (instance ?THING Object) (patient ?EV ?THING))))	naics.kif 7752-7765	コレクションは組織の instance では %n MiscellaneousStoreRetailers はコレクションの attribute では %n 工程物理, エンティティー, オブジェクト and AutonomousAgent 物理はコレクションの member では %n AutonomousAgent は工程の agent では %n 工程は販売の instance では %n AutonomousAgent は人［人間］の instance では %n オブジェクトは RetailStore の instance では %n eventLocated 工程 and オブジェクトエンティティーはオブジェクトの instance では %n エンティティーは工程の patient では %n
(=> (and (instance ?ORG Organization) (attribute ?ORG NonstoreRetailers)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?P) (and (instance ?EV Selling) (instance ?P Human) (instance ?THING Object) (not (eventLocated ?EV RetailStore)) (destination ?EV ?P) (patient ?EV ?THING))))))	naics.kif 7877-7893	コレクションは組織の instance では %n NonstoreRetailers はコレクションの attribute では %n AutonomousAgent 工程工程はコレクションの member では %n AutonomousAgent は工程の agent では %n エンティティーエンティティー AutonomousAgent は販売の instance では %n エンティティーは人［人間］の instance では %n エンティティーはオブジェクトの instance では %n eventLocated AutonomousAgent and RetailStore AutonomousAgent はエンティティーに ends %n{ない} エンティティーは AutonomousAgent の patient では %n
(=> (and (instance ?ORG Organization) (attribute ?ORG PostalService)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P ?OBJ) (and (instance ?EV Selling) (instance ?OBJ Object) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?TRANS) (and (instance ?TRANS Transportation) (possesses ?P ?OBJ) (patient ?TRANS ?OBJ))) ?MEM ?P))))))	naics.kif 8707-8727	コレクションは組織の instance では %n PostalService はコレクションの attribute では %n AutonomousAgent 工程工程はコレクションの member では %n AutonomousAgent は工程の agent では %n 認識エージェントエンティティー AutonomousAgent は販売の instance では %n エンティティーはオブジェクトの instance では %n 認識エージェントは人［人間］の instance では %n 認識エージェントは AutonomousAgent の patient では %n 工程は認識エージェントがエンティティーエンティティーは交通手段の instance では %n 認識エージェントはエンティティーを possesses %n{ない} エンティティーはエンティティーの patient では %n のタスクを実行することはを allows %n{ない}
(=> (and (instance ?ORG Organization) (attribute ?ORG RailTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?MOVE ?RR ?OBJ) (and (instance ?MOVE Transportation) (or (patient ?MOVE ?P) (and (possesses ?P ?OBJ) (patient ?MOVE ?OBJ) (instance ?OBJ Object))) (possesses ?ORG ?RR) (instance ?RR RailVehicle))) ?MEM ?P))))))	naics.kif 8034-8059	コレクションは組織の instance では %n RailTransportation はコレクションの attribute では %n AutonomousAgent 工程工程はコレクションの member では %n AutonomousAgent は工程の agent では %n 認識エージェント AutonomousAgent は販売の instance では %n 認識エージェントは人［人間］の instance では %n 認識エージェントは AutonomousAgent の patient では %n 工程は認識エージェントがエンティティーエンティティー and エンティティーエンティティーは交通手段の instance では %n 認識エージェントはエンティティーの patient では %n 認識エージェントはエンティティーを possesses %n{ない} エンティティーはエンティティーの patient では %n エンティティーはオブジェクトの instance では %n コレクションはエンティティーを possesses %n{ない} エンティティーは RailVehicle の instance では %n のタスクを実行することはを allows %n{ない}
(=> (and (instance ?ORG Organization) (attribute ?ORG SportingGoodsHobbyBookAndMusicStores)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (instance ?THING Object) (or (capability Sport instrument ?THING) (capability MakingMusic instrument ?THING) (instance ?THING Book) (instance ?THING MusicRecording) (instance ?THING MusicText)) (patient ?EV ?THING))))))	naics.kif 7600-7618	コレクションは組織の instance では %n SportingGoodsHobbyBookAndMusicStores はコレクションの attribute では %n AutonomousAgent 工程工程はコレクションの member では %n AutonomousAgent は工程の agent では %n オブジェクト AutonomousAgent は販売の instance では %n オブジェクトはオブジェクトの instance では %n オブジェクトはスポーツを instrument として行う capable では %n オブジェクトは MakingMusic を instrument として行う capable では %n オブジェクトは本の instance では %n オブジェクトは MusicRecording の instance では %n オブジェクトは MusicText の instance では %n オブジェクトは AutonomousAgent の patient では %n
(=> (and (instance ?ORG Organization) (attribute ?ORG TruckTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?T ?V ?OBJ) (and (instance ?T Transportation) (possesses ?P ?OBJ) (patient ?T ?OBJ) (instance ?OBJ Object) (possesses ?ORG ?V) (instance ?V LandVehicle))) ?MEM ?P))))))	naics.kif 8253-8275	コレクションは組織の instance では %n TruckTransportation はコレクションの attribute では %n AutonomousAgent 工程工程はコレクションの member では %n AutonomousAgent は工程の agent では %n 認識エージェント AutonomousAgent は販売の instance では %n 認識エージェントは人［人間］の instance では %n 認識エージェントは AutonomousAgent の patient では %n 工程は認識エージェントがエンティティーエンティティー and エンティティーエンティティーは交通手段の instance では %n 認識エージェントはエンティティーを possesses %n{ない} エンティティーはエンティティーの patient では %n エンティティーはオブジェクトの instance では %n コレクションはエンティティーを possesses %n{ない} エンティティーは LandVehicle の instance では %n のタスクを実行することはを allows %n{ない}
(=> (and (instance ?ORG Organization) (attribute ?ORG WarehousingAndStorage)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P ?OBJ) (and (instance ?EV Selling) (instance ?OBJ Object) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?B ?T) (and (instance ?T TimeInterval) (instance ?B Building) (possesses ?P ?OBJ) (holdsDuring ?T (located ?B ?OBJ)))) ?MEM ?P))))))	naics.kif 8776-8797	コレクションは組織の instance では %n WarehousingAndStorage はコレクションの attribute では %n AutonomousAgent 工程工程はコレクションの member では %n AutonomousAgent は工程の agent では %n 認識エージェントエンティティー AutonomousAgent は販売の instance では %n エンティティーはオブジェクトの instance では %n 認識エージェントは人［人間］の instance では %n 認識エージェントは AutonomousAgent の patient では %n 工程は認識エージェントがエンティティーエンティティーエンティティーは時間間隔の instance では %n エンティティーは建物の instance では %n 認識エージェントはエンティティーを possesses %n{ない} エンティティーはエンティティーに located して %n はエンティティーの during holds %n{ない} のタスクを実行することはを allows %n{ない}
(=> (and (instance ?ORG Organization) (attribute ?ORG WaterTransportationIndustry)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?T ?V ?OBJ) (and (instance ?T Transportation) (or (patient ?T ?P) (and (possesses ?P ?OBJ) (patient ?T ?OBJ) (instance ?OBJ Object))) (possesses ?ORG ?V) (instance ?V WaterVehicle))) ?MEM ?P))))))	naics.kif 8080-8105	コレクションは組織の instance では %n WaterTransportationIndustry はコレクションの attribute では %n AutonomousAgent 工程工程はコレクションの member では %n AutonomousAgent は工程の agent では %n 認識エージェント AutonomousAgent は販売の instance では %n 認識エージェントは人［人間］の instance では %n 認識エージェントは AutonomousAgent の patient では %n 工程は認識エージェントがエンティティーエンティティー and エンティティーエンティティーは交通手段の instance では %n 認識エージェントはエンティティーの patient では %n 認識エージェントはエンティティーを possesses %n{ない} エンティティーはエンティティーの patient では %n エンティティーはオブジェクトの instance では %n コレクションはエンティティーを possesses %n{ない} エンティティーは WaterVehicle の instance では %n のタスクを実行することはを allows %n{ない}
(=> (and (instance ?ORG Organization) (attribute ?ORG WholesaleTrade)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Selling) (instance ?THING Object) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 6375-6391	コレクションは組織の instance では %n WholesaleTrade はコレクションの attribute では %n AutonomousAgent 工程工程はコレクションの member では %n AutonomousAgent は工程の agent では %n エンティティー工程2 and AutonomousAgent2 AutonomousAgent は販売の instance では %n エンティティーはオブジェクトの instance では %n エンティティーは AutonomousAgent の patient では %n 工程2 はコレクションの member では %n AutonomousAgent2 は販売の instance では %n 工程2 は AutonomousAgent2 の agent では %n エンティティーは AutonomousAgent2 の patient では %n
(=> (and (instance ?PAGE ViewItemPage) (instance ?SITE WebSite) (component ?PAGE ?SITE)) (exists (?ITEM ?ADVERTISING) (and (instance ?ITEM Object) (instance ?ADVERTISING WebListing) (component ?ADVERTISING ?PAGE) (hostedOn ?ADVERTISING ?SITE) (patient ?ADVERTISING ?ITEM))))	UXExperimentalTerms.kif 2271-2282	微粒子オブジェクトは ViewItemPage の instance では %n WebSite は WebSite の instance では %n 微粒子オブジェクトは WebSite の component では %n エンティティー WebListing エンティティーはオブジェクトの instance では %n WebListing は WebListing の instance では %n WebListing は微粒子オブジェクトの component では %n hostedOn WebListing and WebSite エンティティーは WebListing の patient では %n
(=> (and (instance ?REPAYMENT Repayment) (instance ?REPAYMENT_DESTINATION Object) (destination ?REPAYMENT ?REPAYMENT_DESTINATION) (instance ?REPAYMENT_ORIGIN Object) (origin ?REPAYMENT ?REPAYMENT_ORIGIN)) (exists (?PAYMENT ?PAYMENT_ORIGIN ?PAYMENT_DESTINATION) (and (instance ?PAYMENT Payment) (instance ?PAYMENT_ORIGIN Object) (instance ?PAYMENT_DESTINATION Object) (not (equal ?PAYMENT ?REPAYMENT)) (destination ?PAYMENT ?PAYMENT_DESTINATION) (origin ?PAYMENT ?PAYMENT_ORIGIN) (equal ?PAYMENT_ORIGIN ?REPAYMENT_DESTINATION) (equal ?PAYMENT_DESTINATION ?REPAYMENT_ORIGIN))))	UXExperimentalTerms.kif 2089-2106	工程は Repayment の instance では %n 工程_DESTINATION はオブジェクトの instance では %n 工程は工程_DESTINATION に ends %n{ない} 工程_ORIGIN はオブジェクトの instance では %n 工程は工程_ORIGIN から originates %n{ない} 工程工程_ORIGIN and 工程_DESTINATION 工程は Payment の instance では %n 工程_ORIGIN はオブジェクトの instance では %n 工程_DESTINATION はオブジェクトの instance では %n 工程は工程と equal では工程は工程_DESTINATION に ends %n{ない} 工程は工程_ORIGIN から originates %n{ない} 工程_ORIGIN は工程_DESTINATION と equal では %n 工程_DESTINATION は工程_ORIGIN と equal では %n
(=> (and (instance ?S Searching) (patient ?S ?OBJ) (instance ?OBJ Physical)) (exists (?LOC ?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?S ?AGENT) (instance ?LOC Object) (located ?OBJ ?LOC) (hasPurposeForAgent ?S (knows ?AGENT (located ?OBJ ?LOC)) ?AGENT))))	Merge.kif 12875-12888	工程は Searching の instance では %n 物理は工程の patient では %n 物理は物理の instance では %n オブジェクト AutonomousAgent AutonomousAgent は認識エージェントの instance では %n AutonomousAgent は工程の agent では %n オブジェクトはオブジェクトの instance では %n 物理はオブジェクトに located して %n 工程は AutonomousAgent の目的 AutonomousAgent は物理はオブジェクトに located して %n を knows %n{ない} %n{ない}
(=> (and (instance ?X Argument) (instance ?R Reasoning) (subProposition ?X Archeology) (realization ?R ?X)) (exists (?D ?S ?O ?T ?W ?L) (and (instance ?D Discovering) (instance ?O Object) (patient ?D ?O) (refers ?R ?D) (earlier (WhenFn ?D) (WhenFn ?R)) (age ?O (MeasureFn ?T YearDuration)) (greaterThan ?T 50) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (or (and (surface ?S ?W) (instance ?W BodyOfWater) (orientation ?O ?S Below)) (and (surface ?S ?L) (instance ?L LandArea) (orientation ?O ?S Below)))))))	Mid-level-ontology.kif 20980-21009	命題は Argument の instance では %n 工程は推理の instance では %n 命題は Archeology の sub-proposition では %n 工程は命題の内容を expresses %n{ない} 工程エンティティー, 物理, 実数, エンティティー and エンティティー工程は Discovering の instance では %n 物理はオブジェクトの instance では %n 物理は工程の patient では %n 工程は工程への reference を includes %n{ない} 工程の time の existence は工程の time の existence より earlier happens %n{ない} 物理の age は実数の YearDuration(s) では実数は 50 より greater では　%n エンティティーはエンティティーの surface では %n エンティティーは BodyOfWater の instance では %n 物理は Below 対エンティティーでは %n エンティティーはエンティティーの surface では %n エンティティーは土地面積の instance では %n 物理は Below 対エンティティーでは %n は工程の time の existence の immediately before の during holds %n{ない}
(=> (and (instance ?X Region) (attribute ?X Vacuum)) (not (exists (?O) (and (instance ?O Object) (located ?O ?X)))))	Cars.kif 368-376	オブジェクトは地域の instance では %n Vacuum はオブジェクトの attribute では %n 物理物理はオブジェクトの instance では %n 物理はオブジェクトに located して %n

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)

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

KB Term:			Term intersection

English Word: